Standard ML: Difference between revisions
| Line 17: | Line 17: | ||
==Publications== | ==Publications== | ||
* Wikstrom: ''Functional Programming Using Standard ML'' - Prentice Hall 1987, ISBN 0-13-331661-0 | |||
* A.J.R. Milner and M. Tofte: ''The Definition of Standard ML'' - MIT Press 1990 | * A.J.R. Milner and M. Tofte: ''The Definition of Standard ML'' - MIT Press 1990 | ||
* Paulson: ''ML for the Working Programmer'' - Cambridge University Press 1991, ISBN 0-521-39022-2 | |||
* Stansifer: ''ML Primer'' - Prentice Hall 1992, ISBN 0-13-561721-9 | |||
* Myers; Clack; Poon: ''Programming with Standard ML'' - Prentice Hall 1993, ISBN 0-13-722075-8 | |||
* Milner; Harper; MacQueen; Tofte: ''The Definition of Standard ML'' (Revised Edition) - MIT Press 1997, ISBN 9780262631815 | * Milner; Harper; MacQueen; Tofte: ''The Definition of Standard ML'' (Revised Edition) - MIT Press 1997, ISBN 9780262631815 | ||
* Harper: ''Programming in Standard ML'' - [http://www.cs.cmu.edu/~rwh/smlbook/book.pdf PDF] 2011 | * Harper: ''Programming in Standard ML'' - [http://www.cs.cmu.edu/~rwh/smlbook/book.pdf PDF] 2011 | ||
Revision as of 00:55, 17 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.
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
- Standard ML for PM (SML/PM) - native port of Edinburgh ML 4.1
- SML/NJ 0.93 (smlnj093.zip) - emx port
- Exuberant ctags - Creates index files out of SML source files - Open source - Current.
Publications
- Wikstrom: Functional Programming Using Standard ML - Prentice Hall 1987, ISBN 0-13-331661-0
- A.J.R. Milner and M. Tofte: The Definition of Standard ML - MIT Press 1990
- Paulson: ML for the Working Programmer - Cambridge University Press 1991, ISBN 0-521-39022-2
- Stansifer: ML Primer - Prentice Hall 1992, ISBN 0-13-561721-9
- Myers; Clack; Poon: Programming with Standard ML - Prentice Hall 1993, ISBN 0-13-722075-8
- Milner; Harper; MacQueen; Tofte: The Definition of Standard ML (Revised Edition) - MIT Press 1997, ISBN 9780262631815
- Harper: Programming in Standard ML - PDF 2011