Polymorphic Delimited Continuations

DOI10.1007/978-3-540-76637-7_16MaRDI QIDQ3498441zbMATH OpenOpenAlexFDO

Authors Kenichi Asai, Yukiyoshi Kameyama

Publication date 15 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=20593&item_no=1&attribute_id=17&file_no=1

zbMATH Keywords

Control OperatorCPS TranslationDelimited ContinuationPredicative/Impredicative PolymorphismType System

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Subtyping delimited continuations
• Typed Dynamic Control Operators for Delimited Continuations
• A Substructural Type System for Delimited Continuations
• A type-theoretic foundation of delimited continuations
• scientific article; zbMATH DE number 1759490

Cited in

(23)

• Functional un\(|\)unparsing
• A systematic approach to delimited control with multiple prompts
• Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
• A Substructural Type System for Delimited Continuations
• Delimited control operators prove double-negation shift
• scientific article; zbMATH DE number 1759490 (Why is no real title available?)
• Logical relations for coherence of effect subtyping
• Proving termination of evaluation for system F with control operators
• A Functional Abstraction of Typed Invocation Contexts
• scientific article; zbMATH DE number 7533352 (Why is no real title available?)
• Typed equivalence of effect handlers and delimited control
• Subtyping delimited continuations
• A type-theoretic foundation of continuations and prompts
• Programming Languages and Systems
• No value restriction is needed for algebraic effects and handlers
• Bisimulations for delimited-control operators
• A monadic framework for delimited continuations
• Typed Dynamic Control Operators for Delimited Continuations
• Complete call-by-value calculi of control operators. II: Strong termination
• A functional abstraction of typed invocation contexts
• Signature restriction for polymorphic algebraic effects
• A type-theoretic foundation of delimited continuations
• On typing delimited continuations: Three new solutions to the printf problem

This page was built for publication: Polymorphic Delimited Continuations

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