Qualified types : theory and practice /

Bibliographic Details

Main Author:	Jones, Mark P.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1994.
Series:	Distinguished dissertations in computer science.
Subjects:	Abstract data types (Computer science)