Schmidt, Erik Meineche, and Michael I. Schwartzbach. “An Imperative Type Hierarchy With Partial Products”. DAIMI Report Series 17, no. 271 (December 1, 1988). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7625.