(1)
Yang, Z. Encoding Types in ML-Like Languages (Preliminary Version). BRICS 1998, 5.