The Standard ML core language (1985)

by R G Milner
Venue:Proc. 1984 ACM Symp. on LISP and Functional Programming