Standard ML
Standard ML or SML is a general purpose functional programming language that gained some popularity in the 90's as a language for use in informatics research. It is a derivative of ML.
History
The language was developed between 1983 and 1985 at the University of Edinburgh.
Standard ML of New Jersey (SML/NJ) was developed jointly at Bell Laboratories, Princeton University and Yale University.
Caml (Categorical Abstract Machine Language) is a dialect of the ML programming language developed at ENS (later INRIA) in France.
OS/2 implementations
- Moscow ML
- SML/PM
- Exuberant ctags - Creates index files out of SML source files - Open source - Current.
Publications
- A.J.R. Milner and M. Tofte: The Definition of Standard ML - MIT Press 1990
- Milner; Harper; MacQueen; Tofte: The Definition of Standard ML (Revised Edition) - MIT Press 1997, ISBN 9780262631815
- Harper: Programming in Standard ML - PDF 2011