Backward Type Inference Generalises Type Checking
No abstract available.
Related papers
- Is sized typing for Coq practical? JFP 2023
- OutsideIn(X) Modular type inference with local assumptions JFP 2011
- C to checked C by 3c OOPSLA 2022
- Bean: A Language for Backward Error Analysis PLDI 2025
- Constraint-based type inference for FreezeML ICFP 2022
- An existential crisis resolved: type inference for first-class existential types ICFP 2021
- How to Make ad-hoc Polymorphism Less ad-hoc POPL 1989
- Generalising the BETA Type System ECOOP 1996