Programming Books C Java PHP Python Learn more Browse Programming Books
The Definition of Standard ML - Revised and over one million other books are available for Amazon Kindle. Learn more
Buy New
$25.75
Qty:1
  • List Price: $30.00
  • Save: $4.25 (14%)
FREE Shipping on orders over $35.
Only 7 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Sell yours for a Gift Card
We'll buy it for $2.00
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

The Definition of Standard ML - Revised Paperback – May 15, 1997


See all 5 formats and editions Hide other formats and editions
Amazon Price New from Used from
Kindle
"Please retry"
Hardcover
"Please retry"
$66.90
Paperback
"Please retry"
$25.75
$21.99 $10.18
Unknown Binding
"Please retry"
Year-End%20Deals%20in%20Books


Frequently Bought Together

The Definition of Standard ML - Revised + ML for the Working Programmer, 2nd Edition + Elements of ML Programming, ML97 Edition (2nd Edition)
Price for all three: $175.25

Some of these items ship sooner than the others.

Buy the selected items together
NO_CONTENT_IN_FEATURE

Holiday Deals in Books
Holiday Deals in Books
Find deals for every reader in the Holiday Deals in Books store, featuring savings of up to 50% on cookbooks, children's books, literature & fiction, and more.

Product Details

  • Paperback: 128 pages
  • Publisher: The MIT Press; revised edition edition (May 15, 1997)
  • Language: English
  • ISBN-10: 0262631814
  • ISBN-13: 978-0262631815
  • Product Dimensions: 6.8 x 0.4 x 8.8 inches
  • Shipping Weight: 7.2 ounces (View shipping rates and policies)
  • Average Customer Review: 4.0 out of 5 stars  See all reviews (3 customer reviews)
  • Amazon Best Sellers Rank: #1,052,169 in Books (See Top 100 in Books)

Editorial Reviews

About the Author

Robin Milner was Professor Emeritus of Computer Science at the University of Cambridge, UK, and Professor at the Informatics Forum in the University of Edinburgh.

Robert Harper is a Professor of Computer Science at Carnegie Mellon University.

David MacQueen is Professor of Computer Science at the University of Chicago.

Mads Tofte is Vice Chancellor, IT University of Copenhagen.

More About the Authors

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

4.0 out of 5 stars
5 star
2
4 star
0
3 star
0
2 star
1
1 star
0
See all 3 customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

16 of 16 people found the following review helpful By A Customer on June 5, 2000
Format: Paperback
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!
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
1 of 1 people found the following review helpful By Eric McCorkle on June 17, 2007
Format: Paperback
This book is a lesson to programming languages everywhere. The language definition is succinct, accurate, and to the point. Anyone who has attempted to penetrate such documents as the ANSI C or C++ standard is met with hundreds of pages of ambiguous, confusing language, about which formal reasoning is next to impossible. By contrast, this book describes the language syntax and semantics in a precise, mathematical style, making actual implementation of the language straightforward, as well as providing a usable definition for reasoning about the correctness of implementations. This is an example of how language definitions should be done.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
1 of 10 people found the following review helpful By Dennis Brown on November 21, 2006
Format: Paperback
This book was apparently written by Math PHDs for use by Math PHDs. I found it to be pretty impenetrable. With this sort of language report, and the shortage of "how to" books for beginners, SML is probably doomed to obscurity, which is unfortunate.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

What Other Items Do Customers Buy After Viewing This Item?