Buy Used
CDN$ 3.90
+ CDN$ 6.49 shipping
Used: Good | Details
Sold by bwbuk_ltd
Condition: Used: Good
Comment: Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Your purchase also supports literacy charities.
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

The Definition of Standard ML Paperback – Feb 14 1990

See all 5 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
"Please retry"
Paperback, Feb 14 1990
CDN$ 141.84 CDN$ 0.01

There is a newer edition of this item:

The Definition of Standard ML
CDN$ 43.51
Temporarily out of stock.

No Kindle device required. Download one of the Free Kindle apps to start reading Kindle books on your smartphone, tablet, and computer.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your e-mail address or mobile phone number.

Product Details

  • Paperback: 114 pages
  • Publisher: The MIT Press (Feb. 14 1990)
  • Language: English
  • ISBN-10: 0262631326
  • ISBN-13: 978-0262631327
  • Product Dimensions: 1.3 x 15.9 x 23.5 cm
  • Shipping Weight: 204 g
  • Average Customer Review: Be the first to review this item
  •  Would you like to update product info, give feedback on images, or tell us about a lower price?

  • See Complete Table of Contents

Product Description

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.

Mads Tofte is Vice Chancellor, IT University of Copenhagen.

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

Inside This Book

(Learn More)
Browse and search another edition of this book.
First Sentence
This document formally defines Standard ML. Read the first page
Explore More
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Search inside this book:

Customer Reviews

There are no customer reviews yet on
5 star
4 star
3 star
2 star
1 star

Most Helpful Customer Reviews on (beta) HASH(0x97e93b58) out of 5 stars 3 reviews
17 of 17 people found the following review helpful
HASH(0x97c05c84) out of 5 stars BECOME the language! June 5 2000
By A Customer - Published on
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!
2 of 2 people found the following review helpful
HASH(0x97cc9be8) out of 5 stars How language definitions should be done June 17 2007
By Eric McCorkle - Published on
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.
1 of 11 people found the following review helpful
By Dennis Brown - Published on
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.