Shifting the Blame - A Blame Calculus with Delimited Control
No abstract available.
Related papers
- Does blame shifting work? POPL 2020
- A simple blame calculus for explicit nulls JFP 2024
- A sound and complete axiomatization of delimited continuations ICFP 2003
- Calculating threesomes, with blame ICFP 2013
- Blame and coercion: Together again for the first time JFP 2021
- An approach to call-by-name delimited continuations POPL 2008
- Blame and coercion: together again for the first time PLDI 2015
- Blame assignment for higher-order contracts with intersection and union ICFP 2015