Jones, Mark P.

Qualified types : theory and practice / Mark P. Jones. - Cambridge : Cambridge University Press, 1994. - xii, 157 p. : ill. ; 26 cm. - Distinguished dissertations in computer science .

Includes bibliographical references (p. 148-154)

0521472539 RM118.18


Abstract data types (computer science).