Region-based resource management and lexical exception handlers in continuation-passing style
From MaRDI portal
Publication:6166801
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
- Comparing control constructs by double-barrelled CPS
- Compiling with continuations, continued
- Continuation passing style for effect handlers
- Effect handlers via generalised continuations
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- From control effects to typed continuation passing
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Modelling environments in call-by-value programming languages.
- Monadic encapsulation in ML
- Monadic encapsulation of effects: a revised approach (extended version)
- Monadic regions
- Region-based memory management
- Runners in Action
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)
