On The Type Structure of Standard ML (1993)

by Robert Harper, John C. Mitchell