Type theory and functional programming
By: Simon Thompson.
Series: International computer science series
Publisher: Addison-Wesley
Published: 1991
Place of publication: Wokingham, England; Reading, Mass
Language: eng
Number of pages: 372
Subjects: Functional programming (Computer science); Type theory.
Notes: Includes bibliographical references (p. 347-357) and index.