Logical foundations of functional programming / 
edited by Gerard Huet. 
 - Reading, Mass. :  Addison-Wesley,  1990. 
 - xvi, 491 p. :  ill. ;  25 cm. 
 - The UT year of programming series .
 - 005.1/1 .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0-201-17234-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Functional programming (Computer science)
<br/><br/><label>Dewey Class. No.: </label>005.1/1