Typed Dynamic Control Operators for Delimited Continuations

DOI10.1007/978-3-540-78969-7_18zbMath1137.68346OpenAlexW4239126285MaRDI QIDQ5458440

Takuo Yonezawa, Yukiyoshi Kameyama

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)

Related Items (5)

A Functional Abstraction of Typed Invocation Contexts ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ On the unification of classical, intuitionistic and affine logics

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