Papers on Poly/ML /
Matthews, David C. J.
University of Edinburgh.Laboratory for Foundations of Computer Science.
Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh,
1995.
Cover title.
"This report was first published as University of Cambridge Computer Laboratory technical report no. 161, February 1989."
Includes bibliographical references.
Modular programming.
Abstract data types (Computer science)
Programming languages (Electronic computers)