On the type structure of Standard ML (1993)

by R Harper, J C Mitchell
Venue:ACM Transactions on Programming Languages and Systems