ML for the working programmer / Lawrence C. Paulson.

By: Paulson, Lawrence C [author]
Language: English Publisher: Cambridge: Cambridge University Press, c2012Description: 1 online resource (xviii, 476 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9780511811326Subject(s): ML (Computer program language)Genre/Form: Electronic books.DDC classification: 005.133 Online resources: Full text available at Cambridge University Press Click here to view
Contents:
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.
Summary: This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Home library Call number Status Date due Barcode Item holds
EBOOK EBOOK COLLEGE LIBRARY
COLLEGE LIBRARY
LIC Gateway 		005.133 P285 2012 (Browse shelf) Available CL-46219
Total holds: 0

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.

There are no comments for this item.

to post a comment.