Sound and Complete Type Inference for a Systems Programming Language
Abstract elided by the publisher.
Related papers
- Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism ESOP 2026
- FreezeML: complete and easy type inference for first-class polymorphism PLDI 2020
- Sound Polymorphic Type Inference for Objects OOPSLA 1995
- Proofs about a Folklore Let-Polymorphic Type Inference Algorithm TOPLAS 1998
- Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types POPL 2019
- Local Contextual Type Inference POPL 2026
- Coercive subtyping for the calculus of constructions POPL 2003
- Java type inference is broken: can we fix it? OOPSLA 2008