A Functional Abstraction of Typed Invocation Contexts
From MaRDI portal
Publication:5043596
DOI10.46298/LMCS-18(3:34)2022OpenAlexW3183160384MaRDI QIDQ5043596FDOQ5043596
Authors: Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai 
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
Recommendations
Cites Work
- A theory of type polymorphism in programming
- Programming with algebraic effects and handlers
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Handlers of Algebraic Effects
- Handlers in action
- On the expressive power of programming languages
- A syntactic approach to type soundness
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- Delimited control in OCaml, abstractly and concretely
- A monadic framework for delimited continuations
- Parametric higher-order abstract syntax for mechanized semantics
- Polymorphic Delimited Continuations
- Title not available (Why is that?)
- Effect handlers via generalised continuations
- Continuation passing style for effect handlers
- Shallow effect handlers
- A first-order one-pass CPS transformation
- On the static and dynamic extents of delimited continuations
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
- Subtyping delimited continuations
- A sound and complete axiomatization of delimited continuations
- Typed Dynamic Control Operators for Delimited Continuations
- Corrigendum: Polymorphic type assignment and CPS conversion
- A selective CPS transformation
- An effect system for algebraic effects and handlers
- A reflection on call-by-value
- A static simulation of dynamic delimited control
- Title not available (Why is that?)
- Axiomatizing subtyped delimited continuations
- A functional abstraction of typed invocation contexts
- Koka: programming with row polymorphic effect types
- Type directed compilation of row-typed algebraic effects
- Do be do be do
- Verifying selective CPS transformation for shift and reset
- Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators.
Cited In (3)
Uses Software
This page was built for publication: A Functional Abstraction of Typed Invocation Contexts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5043596)
