Revision as of 04:18, 2 December 2007 (view source) rosettacode>Mwn3d m (Changed over to language header) ← Older edit		Revision as of 19:07, 3 December 2007 (view source) rosettacode>IanOsgood (redundant) Newer edit →
Line 2: SML is a modern descendant of the ML programming language used in the LCF theorem-proving project. It is unique among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997). ~~==Implementations:==~~ * [http://en.wikipedia.org/wiki/SML/NJ Standard ML of New Jersey (wikipedia)]: a Princeton compiler and programming environment * [http://mlton.org/ MLton (mlton.org)]: a whole program optimizing compiler * [http://www.dina.kvl.dk/~sestoft/mosml.html Moscow ML (dina.kvl.dk)]: a derived codebase from [[Caml Light]] ==Citations==

Category:Standard ML: Difference between revisions

Category:Standard ML (view source)