Ambivalent Types for Principal Type Inference with GADTs
Abstract elided by the publisher.
Related papers
- Principal type inference for GADTs POPL 2016
- Complete and decidable type inference for GADTs ICFP 2009
- OutsideIn(X) Modular type inference with local assumptions JFP 2011
- Simple unification-based type inference for GADTs ICFP 2006
- Principal Type Inference for GHC-Style Multi-parameter Type Classes APLAS 2006
- Quasi-Static Typing POPL 1990
- Principality and Decidable Type Inference for Finite-Rank Intersection Types POPL 1999
- Principal Type Schemes for Gradual Programs POPL 2015