The De nition of Standard ML (1990)

by R Milner, M Tofte, R Harper