The definition of Standard ML: revised (1997)

by R Milner