Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML. More information...
According to PR-model, smlfamily.github.io is ranked 304,083rd in multilingual Wikipedia, in particular this website is ranked 208,444th in English Wikipedia.
The website is placed before harpersbazaar.com.tr and after qualiam.com in the BestRef global ranking of the most important sources of Wikipedia.
