Normal view MARC view ISBD view

Paulson, Lawrence C.

ML for the working programmer / Lawrence C. Paulson. - 1 online resource (xviii, 476 pages) :

Includes bibliographical references (p. 449-456) and index.

1. Standard ML
2. Names, functions and types
3. Lists
4. Trees and concrete data
5. Functions and infinite data
6. Reasoning about functional programs
7. Modules
8. Imperative programming in ML
9. Writing interpreters for the lambda-calculus
10. A tactical theorem prover
Bibliography.

This new edition of a successful text treats modules in more depth, and covers the revision of ML language.

ISBN: 9780511811326

Subjects--Topical Terms:
ML (Computer program language).

Index Terms--Genre/Form:
Electronic books.

Dewey Class. No.: 005.133