ML for the Working Programmer - Rilegato

Paulson, Lawrence C.

 
9780521390224: ML for the Working Programmer

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Paulson Lawrence C

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo