The essence of ML (1988)

by J Mitchell, B Harper
Venue:In Proceedings of the ACM Conference on Principles of Programming Languages