Description
ML for the Working Programmer by Lawrence C Paulson
This practical book teaches the methods of functional programming, in particular, how to program in Standard ML. 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.
Reviews
There are no reviews yet.