Qualified types : theory and practice /
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).
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).
