Languages
Standard ML
Functional Language
Citation Formats
General Reference
APA Style
BibTeX
Standard ML descends from ML, which Robin Milner created at the University of Edinburgh in 1973 as the language for the LCF theorem prover. Standard ML's own formal specification, The Definition of Standard ML, was first published in 1990 and revised in 1997; it is a general-purpose, high-level, modular, functional language with compile-time type checking and type inference.
Facts
First Released1973 is Robin Milner's original ML at Edinburgh; the Standard ML specification was first published in 1990. ParadigmGeneral-purpose, high-level, modular, functional; static, strong type checking with type inference. 1 SignificanceDistinctive among widely used languages for having a formal specification, given as typing rules and operational semantics; it shaped the later development of Haskell, Elm, F#, OCaml, Rust and Scala, and remains important for compiler-writing, programming-language research and theorem provers. 1 Cross-Tradition Connections
In Field
Influenced
Invented By
Sources
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.
View At A Past Year
The atlas records no dated fact of its own for this entry, so there is no other year to choose.