TY  - BOOK
AU  - Paulson,Lawrence C.
TI  - ML for the working programmer
SN  - 9780511811326
U1  - 005.133 
PY  - 2012///
CY  - Cambridge
PB  - Cambridge University Press
KW  - ML (Computer program language)
KW  - Electronic books
N1  - Includes bibliographical references (p. 449-456) and index; 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
N2  - This new edition of a successful text treats modules in more depth, and covers the revision of ML language
UR  - https://www.cambridge.org/core/books/ml-for-the-working-programmer/BDAAF5C30634CC39385F75C97274BFCC
ER  -