Yang, Z. 1998. Encoding Types in ML-like Languages (Preliminary Version). BRICS Report Series. 5, 9 (Jan. 1998). DOI:https://doi.org/10.7146/brics.v5i9.19281.