SML语言教程 Standard ML is a formally defined programming language. The Definition of Standard ML (Revised) is the formal definition of the language.