Last updated July 23, 2007, by Mads Tofte
The first version of the Definition of Standard ML was published in 1990 on MIT Press. It was later superseded by the 1997 revised definition. Unless you are specifically interested in the 1990 version of Standard ML, please refer to the revision version, which is available from MIT Press.
Both the 1990 Definition and the accompanying Commentary on Standard ML are now out of print. However, with the permission of MIT Press, the two books are hereby made accessible to the public. Note that the Commentary only applies to the 1990 Definition.
Robin Milner, Mads Tofte and Robert Harper. The Definition of Standard ML. MIT Press 1990.
Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press 1991.