Typing References by Effect Inference
No abstract available.
Related papers
- Polymorphic Type, Region and Effect Inference JFP 1992
- Reim & ReImInfer: checking and inference of reference immutability and method purity OOPSLA 2012
- Taming Effects with Monadic Typing ICFP 1998
- Garbage-Collection Safety for Region-Based Type-Polymorphic Programs PLDI 2023
- Flexible types: robust type inference for first-class polymorphism POPL 2009
- Symbolic abstract data type inference POPL 2016
- Fully-Automatic Type Inference for Borrows with Lifetimes OOPSLA 2026
- Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems POPL 2026