Logical foundations of functional programming /

Bibliographic Details

Other Authors:	Huet, Gérard
Format:	Book
Language:	English
Published:	Reading, Mass. : Addison-Wesley, [1990]
Series:	UT year of programming series.
Subjects:	Functional programming (Computer science)