Paulson, Lawrence C. <br/><br/>
ML for the working programmer / 
Lawrence C. Paulson. 
 - 2nd ed. 
 - Cambridge :  Cambridge University Press,  1996. 
 - xviii, 478 p. ;  25 cm. +  pbk. 
<br/><br/> Previous ed.: 1991. 
<br/><br/>Bibliography: (pages 449-456) and index. 
<br/><br/>Standard ML -- Names, Functions and Types -- Lists -- Trees and Concrete Data -- Functions and Infinite Data -- Reasoning about Functional Programs -- Abstract Types and Functors -- Imperative Programming in ML -- Writing Interpreters for the  -Calculus -- A Tactical Theorem Prover. 
<br/><br/><label>ISBN: </label>052156543X  0521570506  
<br/><br/><label>Subjects--Topical Terms: </label><br/>ML (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>005.133 PAU