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

Type SystemControl OperatorCPS TranslationDelimited ContinuationPredicative/Impredicative Polymorphism

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

(22)

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

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)