Standard ML

Website: smlfamily.github.io

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.