Well-Typed Programs Can't Be Blamed
No abstract available.
Related papers
- The root cause of blame: contracts for intersection and union types OOPSLA 2018
- Accepting blame for safe tunneled exceptions PLDI 2016
- Theorems for free for free: parametricity, with and without types ICFP 2017
- How to evaluate blame for gradual types ICFP 2021
- Dynamic type inference for gradual Hindley-Milner typing POPL 2019
- A simple blame calculus for explicit nulls JFP 2024
- Static Blame for gradual typing JFP 2024
- Threesomes, with and without blame POPL 2010