Standard ML: Difference between revisions
No edit summary |
No edit summary |
||
| Line 9: | Line 9: | ||
[[Category:Programming Languages]] | [[Category:Programming Languages]] | ||
[[Category:ML]] | [[Category:ML]] | ||
[[Category:Functional programming]] | |||
Revision as of 14:16, 11 March 2016
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.
- 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 - 1990 - MIT Press