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)

Description
Physical Description:	xii, 157 pages : illustrations ; 26 cm.
Bibliography:	Includes bibliographical references (pages 148-154).
ISBN:	0521472539 (hardback)