Bidirectional Type Checking for Existential Types with Higher-Rank Polymorphism.

Hasti Toossi, Ningning Xie

Browse the full ESOP paper archive.