---
created_at: '2017-09-12T23:04:14.000Z'
title: ML for the Working Programmer, 2nd Edition (1996)
url: https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html
author: odammit
points: 266
story_text: 
comment_text: 
num_comments: 35
story_id: 
story_title: 
story_url: 
parent_id: 
created_at_i: 1505257454
_tags:
- story
- author_odammit
- story_15233823
objectID: '15233823'

---
[Source](https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html "Permalink to ML4WP: Publication Details and Full Text")

# ML4WP: Publication Details and Full Text

# ML for the Working Programmer, 2nd Edition

## Publication details

Published by [Cambridge University Press][1], July 1996. Publisher's information [available][2].

ISBN [052156543X][3]

Also on [Amazon.com][4] and [Amazon.co.uk][5]

In response to recent requests, and with the agreement of Cambridge University Press, I have decided to make the full text of the book available in PDF. It remains copyright material and may be downloaded for personal use only, not for redistribution.

Please note that the files have been typeset afresh, and due to changes in the latex system over the past 20 years, minor differences from the published text may have crept in. Please notify me of any serious issues.

## Contents and full-text chapters ![PDF][6]

450 pages. [Front matter][7]; 1. [Standard ML][8]; 2. [Names, functions and types][9]; 3. [Lists][10]; 4. [Trees and concrete data][11]; 5. [Functions and infinite data][12]; 6. [Reasoning about functional programs][13]; 7. [Modules][14]; 8. [Imperative programming in ML][15]; 9. [Writing interpreters for the lambda-calculus][16]; 10. [A tactical theorem prover][17]; [Bibliography][18].

* * *

[Lawrence C. Paulson][19]

[Back][19] to ML for the Working Programmer, main page

[1]: http://www.cambridge.org
[2]: http://www.cambridge.org/co/academic/subjects/computer-science/programming-languages-and-applied-logic/ml-working-programmer-2nd-edition
[3]: http://www.cambridge.org/catalogue/catalogue.asp?isbn=052156543X
[4]: https://www.amazon.com/ML-Working-Programmer-2nd-Paulson/dp/052156543X/ref=sr_1_1?ie=UTF8&qid=1505215247&sr=8-1&keywords=ML+for+the+Working+Programmer
[5]: https://www.amazon.co.uk/ML-Working-Programmer-Larry-Paulson/dp/052156543X/ref=sr_1_1?ie=UTF8&qid=1505215184&sr=8-1&keywords=paulson+ml
[6]: https://www.cl.cam.ac.uk/images/pdficonsmall.gif
[7]: https://www.cl.cam.ac.uk/PDF/contents.pdf
[8]: https://www.cl.cam.ac.uk/PDF/chapter1.pdf
[9]: https://www.cl.cam.ac.uk/PDF/chapter2.pdf
[10]: https://www.cl.cam.ac.uk/PDF/chapter3.pdf
[11]: https://www.cl.cam.ac.uk/PDF/chapter4.pdf
[12]: https://www.cl.cam.ac.uk/PDF/chapter5.pdf
[13]: https://www.cl.cam.ac.uk/PDF/chapter6.pdf
[14]: https://www.cl.cam.ac.uk/PDF/chapter7.pdf
[15]: https://www.cl.cam.ac.uk/PDF/chapter8.pdf
[16]: https://www.cl.cam.ac.uk/PDF/chapter9.pdf
[17]: https://www.cl.cam.ac.uk/PDF/chapter10.pdf
[18]: https://www.cl.cam.ac.uk/PDF/projects-bib.pdf
[19]: https://www.cl.cam.ac.uk/index.html

