A Functional Abstraction of Typed Invocation Contexts
From MaRDI portal
Publication:5043596
DOI10.46298/lmcs-18(3:34)2022OpenAlexW3183160384MaRDI QIDQ5043596
Kenichi Asai, Youyou Cong, Kaho Honda, Chiaki Ishio
Publication date: 6 October 2022
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2110.07349
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Delimited control in OCaml, abstractly and concretely
- Programming with algebraic effects and handlers
- On the expressive power of programming languages
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- A theory of type polymorphism in programming
- A syntactic approach to type soundness
- Corrigendum: Polymorphic type assignment and CPS conversion
- A first-order one-pass CPS transformation
- A static simulation of dynamic delimited control
- On the static and dynamic extents of delimited continuations
- A reflection on call-by-value
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- Axiomatizing Subtyped Delimited Continuations.
- Polymorphic Delimited Continuations
- Handlers of Algebraic Effects
- A Selective CPS Transformation
- Verifying Selective CPS Transformation for Shift and Reset
- Effect handlers via generalised continuations
- Continuation passing style for effect handlers
- Subtyping delimited continuations
- Parametric higher-order abstract syntax for mechanized semantics
- Handlers in action
- A sound and complete axiomatization of delimited continuations
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- Type directed compilation of row-typed algebraic effects
- Do be do be do
- A monadic framework for delimited continuations
- Typed Dynamic Control Operators for Delimited Continuations
- THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
- An Effect System for Algebraic Effects and Handlers
- Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators.
- Shallow effect handlers
