Region-based resource management and lexical exception handlers in continuation-passing style

DOI10.1007/978-3-030-99336-8_18zbMath1528.68052OpenAlexW4226214097MaRDI QIDQ6166801

Klaus Ostermann, Jonathan Immanuel Brachthäuser, Philipp Schuster

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Cites Work

• Region-based memory management
• 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.
• Comparing control constructs by double-barrelled CPS
• Monadic encapsulation in ML
• From control effects to typed continuation passing
• Monadic encapsulation of effects: a revised approach (extended version)
• Runners in Action
• Effect handlers via generalised continuations
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Continuation passing style for effect handlers
• Compiling with continuations, continued
• Monadic regions

This page was built for publication: Region-based resource management and lexical exception handlers in continuation-passing style