Paulson, Lawrence C. <br/><br/>
ML for the working programmer / 
Lawrence C. Paulson. 
 - 1 online resource (xviii, 476 pages) : 
<br/><br/>Includes bibliographical references (p. 449-456) and index. 
<br/><br/>1. Standard ML<br/>2. Names, functions and types<br/>3. Lists<br/>4. Trees and concrete data<br/>5. Functions and infinite data<br/>6. Reasoning about functional programs<br/>7. Modules<br/>8. Imperative programming in ML<br/>9. Writing interpreters for the lambda-calculus<br/>10. A tactical theorem prover<br/>Bibliography. 
<br/><br/> This new edition of a successful text treats modules in more depth, and covers the revision of ML language. 
<br/><br/><label>ISBN: </label>9780511811326 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ML (Computer program language).
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>Dewey Class. No.: </label>005.133