Z. Yang, “Encoding Types in ML-like Languages (Preliminary Version)”, BRICS, vol. 5, no. 9, Jan. 1998.