The Standard ML Language Family

This organization maintains the various definitions of Standard ML.

Pinned Repositories

BasisLibrary
Repository and Wiki for enriching the Standard ML Basis Library
Language:Standard ML60 25 334
SML-The-Living-Language
SML, The Living Language (aka, Successor ML)
72 17 16
SMLFamily.github.io
Web site for standardml.org.
Language:HTML36 18 56
Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
Language:TeX191 55 4410
The-Definition-of-Standard-ML
The Definition of Standard ML (1990)
Language:TeX121 22 111
The-Definition-of-Standard-ML-Revised
The Definition of Standard ML, Revised (1997)
Language:TeX112 25 013
The-Mechanization-of-Standard-ML
The Mechanization of Standard ML
72 19 04

SMLFamily/Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
Language:TeX191 55 4410
SMLFamily/The-Definition-of-Standard-ML
The Definition of Standard ML (1990)
Language:TeX121 22 111
SMLFamily/The-Definition-of-Standard-ML-Revised
The Definition of Standard ML, Revised (1997)
Language:TeX112 25 013
SMLFamily/SML-The-Living-Language
SML, The Living Language (aka, Successor ML)
72 17 16
SMLFamily/The-Mechanization-of-Standard-ML
The Mechanization of Standard ML
72 19 04
SMLFamily/BasisLibrary
Repository and Wiki for enriching the Standard ML Basis Library
Language:Standard ML60 25 334
SMLFamily/SMLFamily.github.io
Web site for standardml.org.
Language:HTML36 18 56