The De nition of Standard ML (Revised (1997)

by Robin Milner, Mads Tofte, Robert Harper, Dave MacQueen