Region-based resource management and lexical exception handlers in continuation-passing style
From MaRDI portal
Publication:6166801
DOI10.1007/978-3-030-99336-8_18zbMATH Open1528.68052OpenAlexW4226214097MaRDI QIDQ6166801FDOQ6166801
Authors: Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann 
Publication date: 3 August 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-99336-8_18
Recommendations
- An axiomatic treatment of exception handling in an expression-oriented language
- scientific article; zbMATH DE number 1693466
- scientific article; zbMATH DE number 2087542
- Programming Languages and Systems
- scientific article; zbMATH DE number 2087563
- scientific article; zbMATH DE number 1538034
- scientific article; zbMATH DE number 3943002
- Exception Handling: Formal Specification and Systematic Program Construction
Cites Work
- Modelling environments in call-by-value programming languages.
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Region-based memory management
- Effect handlers via generalised continuations
- Continuation passing style for effect handlers
- Comparing control constructs by double-barrelled CPS
- From control effects to typed continuation passing
- Compiling with continuations, continued
- Monadic encapsulation in ML
- Monadic encapsulation of effects: a revised approach (extended version)
- Runners in Action
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Monadic regions
This page was built for publication: Region-based resource management and lexical exception handlers in continuation-passing style
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166801)
