Algebraic Semantics of Exception Handling
Abstract elided by the publisher.
Related papers
- Handling bidirectional control flow OOPSLA 2020
- An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language TOPLAS 1987
- Abstraction-safe effect handlers via tunneling POPL 2019
- A Modular Verifiable Exception-Handling Mechanism TOPLAS 1985
- Ada Exception Handling: An Axiomatic Approach TOPLAS 1980
- Fine-Grained Semantics for Probabilistic Programs ESOP 2018
- Exceptional Syntax Journal of Functional Programming JFP 2001
- A single intermediate language that supports multiple implementations of exceptions PLDI 2000