The History of Standard ML

This page will contain links to historical documents related to the development and evolution of the ML language, and Standard ML in particular.

Papers and Talks

Design Documents

Core Language

Module Language

Design Meetings

Core Language Notes

Types and Type Checking

Cardelli ML and Edinburgh ML

Formal Definitions

Implementation/System Notes

Basis Library Documents

These are various documents connected to the design of the Standard ML Basis Library, which was part of the 1997 revision of the Definition of Standard ML.

dmacqueen at
Last modified: Fri May 29 15:51:27 PDT 2020