The essence of ML (1988)

by MH88 J C Mitchell, R Harper
Venue:15th Ann. ACM Symp. on Principles of Programming Languages