TY  - RPRT
TI  - Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types
AU  - Jana Dunfield
AU  - Neelakantan R. Krishnaswami
PY  - 2020
UR  - https://arxiv.org/abs/1601.05106
ID  - 1601.05106
ER  -