Jump to content

Standard ML: Difference between revisions

From EDM2
mNo edit summary
No edit summary
Line 4: Line 4:
* [[Exuberant ctags]] - Creates index files out of SML source files - Open source - Current.
* [[Exuberant ctags]] - Creates index files out of SML source files - Open source - Current.


[[Category:Programming Languages]][[Category:ML]]
==Publications==
* A.J.R. Milner and M. Tofte: The Definition of Standard ML - 1990 - MIT Press
 
[[Category:Programming Languages]]
[[Category:ML]]

Revision as of 09:17, 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.

Standard ML related programmer's utilities

  • 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