 SML is a modern dialect of ML, the programming 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".Standard ML is a functional programming language with some impure features.