Paulson, Lawrence C. <br/><br/>
ML for the working programmer 

 - 2nd ed. 
 - Cambridge :   Cambridge University Press,  1996 
 - xviii, 476 p. :  il. ;  25 cm. 
<br/><br/> Incluye índice y bibliografía 
<br/><br/>1. Standard ML --  2. Names, functions and types --  3. Lists --  4. Trees and concrete data --  5. Functions and infinite data --  6. Reasoning about functional programs --  7. Modules --  8. Imperative programming in ML --  9. Writing interpreters for the lambda-calculus --  10. A tactical theorem prover --  Bibliography. 
<br/><br/><label>ISBN: </label>9780521565431 
<br/><br/><label>Standard No.: </label>DIF-M6387 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LENGUAJE ML<br/>PROGRAMACIÓN FUNCIONAL