Published by Cambridge University Press, July 1996.
Paperback: Price $65.00 (US) and £33.99 (Europe), ISBN 052156543X
DOI: 10.2277/052156543X (links to publisher's information)
450 pages. 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.
Back to ML for the Working Programmer, main page