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| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
EBOOK
|
COLLEGE LIBRARY | COLLEGE LIBRARY LIC Gateway | 005.133 P285 2012 (Browse shelf) | Available | CL-46219 |
Browsing COLLEGE LIBRARY Shelves , Shelving location: LIC Gateway Close shelf browser
|
|
|
|
|
|
|
||
| 005.133 M295 2010 Java programming : frm problem analysis to program design / | 005.133 M567 2001 Building parsers with Java / | 005.133 N317 2006 Hit the ground running with Visual C++.net / | 005.133 P285 2012 ML for the working programmer / | 005.133 P999 2002 Python : how to program / | 005.133 P999 2002 Python : how to program / | 005.133 Q4 1998 Perl by example / |
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.