Search -
ML for the Working Programmer (Cambridge Computer Science Texts)
ML for the Working Programmer - Cambridge Computer Science Texts Author:Lawrence C. Paulson 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 li... more »ne drawings. 6 7/8 x 9 3/4.« less