Z. Yang, “Encoding Types in ML-like Languages (Preliminary Version)”, BRICS, bd. 5, nr. 9, jan. 1998.