Qualified types
Subtitle: theory and practice
By: Mark P. Jones.
Series: Distinguished dissertations in computer science
Publisher: Cambridge University Press
Published: 1994
Place of publication: Cambridge; New York
Language: eng
Number of pages: 157
Subjects: Abstract data types (Computer science)
Notes: Includes bibliographical references (p. 148-154).