On the type structure of Standard ML (1993)

by Robert Harper, John C Mitchell
Venue:ACM Transactions on Programming Languages and Systems