Order from a Major Online Bookstore
Ultimate Book Price Comparison Engine
Save Your Time And Money
| AnyBook4Less.com | Order from a Major Online Bookstore |
|
| Home | Store List | FAQ | Contact Us | | ||
| Ultimate Book Price Comparison Engine Save Your Time And Money |
||
 |
Title: The Definition of Standard ML - Revised by Robin Milner, Mads Tofte, Robert Harper, David MacQueen ISBN: 0-262-63181-4 Publisher: MIT Press Pub. Date: 15 May, 1997 Format: Paperback Volumes: 1 List Price(USD): $26.95 |
Average Customer Rating: 5 (1 review)
Rating: 5
Summary: BECOME the language!
Comment: To explain it in the words of the authors: "The keystone of the method [used to define Standard ML in this book], then, is a certain kind of assertion that takes the form B |- P => M and may be pronounced: 'Against the background B, the phrase P evaluates to the meaning M.' The formal purpose of this Definition is no more, and no less, than to decree exactly which assertions of this form are true."
Standard ML is a very powerful language because of the abilities it grants and the restrictions it enforces. While reading this book will not teach you SML, it will help reinforce its subtle elegance. If you have developed an infatuation with this language, you will not be able to resist the only book that truly contains it.
While not necessary to enjoy this volume, a prerequisite to have any understanding of its contents is some sort of background in type theory and mathematical logic that a course like this one taught by Harper... can only begin to provide.
And remember, ML loves you!
 |
Title: Elements of ML Programming, ML97 Edition (2nd Edition) by Jeffrey D. Ullman ISBN: 0137903871 Publisher: Prentice Hall Pub. Date: 22 December, 1997 List Price(USD): $48.00 |
 |
Title: ML for the Working Programmer by Lawrence C. Paulson ISBN: 052156543X Publisher: Cambridge University Press Pub. Date: 28 June, 1996 List Price(USD): $50.00 |
 |
Title: The Structure of Typed Programming Languages (Foundations of Computing) by David A. Schmidt ISBN: 0262193493 Publisher: MIT Press Pub. Date: 01 March, 1994 List Price(USD): $75.00 |
 |
Title: Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce ISBN: 0262660717 Publisher: MIT Press Pub. Date: 07 August, 1991 List Price(USD): $23.00 |
 |
Title: Purely Functional Data Structures by Chris Okasaki ISBN: 0521663504 Publisher: Cambridge University Press Pub. Date: 01 July, 1999 List Price(USD): $30.00 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
