This book teaches the methods of functional programming--in particular, how to program in Standard ML, a functional language recently developed at Edinburgh University. The author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures and includes a chapter on formal reasoning about functional programming.
- ISBN13 9780521422253
- Publish Date 20 August 1992 (first published 25 July 1991)
- Publish Status Inactive
- Out of Print 2 March 2005
- Publish Country GB
- Imprint Cambridge University Press
- Format Paperback (US Trade)
- Pages 441
- Language English