Standard ML

Stabdard ML is a project to develop a standardized version of the ML functional programming language. A number of spinoff versions have developed based on it, including CakeML.

Links

 * Official site
 * The Definition of Standard ML (SML90)