SCHMIDT, E. M.; SCHWARTZBACH, M. I. An Imperative Type Hierarchy with Partial Products. DAIMI Report Series, [S. l.], v. 17, n. 271, 1988. DOI: 10.7146/dpb.v17i271.7625. Disponível em: https://tidsskrift.dk/daimipb/article/view/7625. Acesso em: 9 may. 2024.