The Standard ML core language (revised (1986)

by R Milner
Venue:In [HMM 86