The Definition of Standard ML (Revised (1990)

by Robin Milner, Mads Tofte, Robert Harper, David B MacQueen