The De�nition of Standard ML (1990)

by Robin Milner, Mads Tofte, Robert Harper