Lawrence C. Paulson, Larry C. Paulson

ML for the Working Programmer

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Revised
• Seitenzahl: 500
• Erscheinungstermin: 30. November 2009
• Englisch
• Abmessung: 244mm x 170mm x 27mm
• Gewicht: 854g
• ISBN-13: 9780521565431
• ISBN-10: 052156543X
• Artikelnr.: 21052299

Inhaltsangabe

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.