Standard ML
Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。"The Definition of Standard ML" で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。