Exception Handlers as Extensible Cases
Abstract elided by the publisher.
Related papers
- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style ESOP 2022
- Handling Exceptions and Effects with Automatic Resource Analysis OOPSLA 2026
- Ada Exception Handling: An Axiomatic Approach TOPLAS 1980
- A Modular Verifiable Exception-Handling Mechanism TOPLAS 1985
- Asymptotic speedup via effect handlers JFP 2024
- Zero-Overhead Lexical Effect Handlers OOPSLA 2025
- Dynamic Wind for Effect Handlers OOPSLA 2025
- Exception Handling and Object-Oriented Programming: Towards a Synthesis OOPSLA 1990