On the type structure of Standard ML (1993)

by R, J C MITCHELL
Venue:In Principles of Programming Languages (POPL