ML for the Working Programmer

Readers learn methods of functional programming--in particular, how to program in Standard ML, a functional language recently developed at Edinburgh University. Paulson 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. 50 line drawings.