Jump to content

Standard ML

From EDM2
Revision as of 09:17, 11 March 2016 by Reiknir (talk | contribs)

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
Retrieved from "https://www.edm2.com/index.php?title=Standard_ML&oldid=24661"