An Existential Crisis Resolved: Type Inference for First-Class Existential Types

An Existential Crisis Resolved: Type Inference for First-Class Existential Types Paper DOI: 10.1145/3473569 Presented at None, part of ICFP 2021 By Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee