Typed Dynamic Control Operators for Delimited Continuations

DOI10.1007/978-3-540-78969-7_18MaRDI QIDQ5458440zbMATH OpenOpenAlexFDO

Authors Yukiyoshi Kameyama, Takuo Yonezawa

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78969-7_18

zbMATH Keywords

PolymorphismExpressivityType SystemCPS TranslationDelimited ContinuationDynamic Control Operator

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polymorphic Delimited Continuations
• Subtyping delimited continuations
• A type-theoretic foundation of delimited continuations
• Axiomatizing subtyped delimited continuations
• A static simulation of dynamic delimited control

Cited in

(20)

• A Functional Abstraction of Typed Invocation Contexts
• Polymorphic Delimited Continuations
• A Substructural Type System for Delimited Continuations
• On typing delimited continuations: Three new solutions to the printf problem
• Delimited control in OCaml, abstractly and concretely
• Comparing control constructs by double-barrelled CPS transforms
• A monadic framework for delimited continuations
• Delimited dynamic binding
• A static simulation of dynamic delimited control
• A functional abstraction of typed invocation contexts
• From control effects to typed continuation passing
• Understanding algebraic effect handlers via delimited control operators
• Validating Brouwer's continuity principle for numbers using named exceptions
• On the dynamic extent of delimited continuations
• Shifting the blame. A blame calculus with delimited control
• On the static and dynamic extents of delimited continuations
• On the unification of classical, intuitionistic and affine logics
• scientific article; zbMATH DE number 1759490 (Why is no real title available?)
• Subtyping delimited continuations
• No value restriction is needed for algebraic effects and handlers

This page was built for publication: Typed Dynamic Control Operators for Delimited Continuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458440)