The De nition of Standard ML: Version 3 (1989)

by Robert Harper, Robin Milner, Mads Tofte