Logical foundations of functional programming
By: edited by Gérard Huet.
Contributors: Huet, Gérard.
Series: The UT year of programming series
Publisher: Addison-Wesley
Published: 1990
Place of publication: Reading, Mass
Language: eng
Number of pages: 491
Subjects: Functional programming (Computer science)
Notes: Includes bibliographical references.