Document Versions

On The Type Structure of Standard ML –Robert Harper, John C. Mitchell — 1993
On the Type Structure of Standard ML –Robert Harper, John C. Mitchell — 1992 — ACM Transactions on Programming Languages and Systems