The Definition of Standard ML (Revised (1997)

by R Milner, M Tofte, R Harper, D MacQueen