SML is one of a very few languages that have a formal description of the meaning of the language.
This is also true for C [0,1] and other mainstream languages [2] now.
[0] http://robbertkrebbers.nl/thesis.html [1] https://github.com/kframework/c-semantics [2] http://www.kframework.org/index.php/Projects