Bidirectional Type Checking for Existential Types with Higher-Rank Polymorphism
Abstract elided by the publisher.
Related papers
- Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types POPL 2019
- Complete and easy bidirectional typechecking for higher-rank polymorphism ICFP 2013
- Bidirectional Higher-Rank Polymorphism with Intersection and Union Types POPL 2025
- The Simple Essence of Monomorphization OOPSLA 2025
- A mechanical formalization of higher-ranked polymorphic type inference ICFP 2019
- Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators ICFP 2010
- Normalization by evaluation for sized dependent types ICFP 2017
- Consistent Subtyping for All TOPLAS 2020