SCHMIDT, Erik Meineche; SCHWARTZBACH, Michael 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: 13 dec. 2025.