Published by Cambridge University Press, July 1996.
Paperback: Price $42.00 (US) and £23.95 (rest of world), ISBN 052156543X
Hardback: Price $110.00 (US) and £70.00 (rest of world), ISBN 0521570506 (but apparently now out of print)
Further details are available from the publisher.
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