The Definition of Standard ML (1990) and Commentary on Standard ML (1991)

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.

1990 Definition of Standard ML

Robin Milner, Mads Tofte and Robert Harper. The Definition of Standard ML. MIT Press 1990.

  1. Copyright notice of book (pdf)
  2. Body of book (ps, pdf)

1991 Commentary on Standard ML

Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press 1991.

  1. Copyright notice of book (pdf)
  2. Body of book (ps, pdf)
  3. Index of book (ps, pdf)