YANG, Z. Encoding Types in ML-like Languages (Preliminary Version). BRICS Report Series, [S. l.], v. 5, n. 9, 1998. DOI: 10.7146/brics.v5i9.19281. Disponível em: https://tidsskrift.dk/brics/article/view/19281. Acesso em: 25 apr. 2024.