|
ML for the Working Programmer
 |
Author: Lawrence C. Paulson
List Price: $50.00
Our Price: Click to see the latest and low price
ISBN: 052156543X
Publisher: Cambridge University Press (28 June, 1996)
Edition: Paperback
Sales Rank: 112,884
Average Customer Rating: 4 out of 5
|
Customer ReviewsRating: 3 out of 5
a good book, but it wasn't compelling for me
I have no doubt this is a well-written book (I read it in its entirety). Unfortunately, the examples weren't compelling to me at all. While the lambda calculus interpreter was interesting, the time spent on the theorem prover was not very interesting (I wonder if it was added as an homage to ML's legacy??).Overall, I suppose this book is a little dated.
Rating: 5 out of 5
Good introductory book with some advanced chapters
If you want to know something about ML, but learn it through good examples and interesting problems. This is the book! Also has some neat chapters on automated theorem proving, logic and interpreters.
Similar Products
· Clause and Effect: Prolog Programming for the Working Programmer
· Modern Compiler Implementation in ML
· The Definition of Standard ML - Revised
· Introduction to Programming Using Sml
· Elements of ML Programming, ML97 Edition (2nd Edition)
|
