Polymorphic Delimited Continuations

DOI10.1007/978-3-540-76637-7_16zbMath1137.68344OpenAlexW2132416076MaRDI QIDQ3498441

Yukiyoshi Kameyama, Kenichi Asai

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)

Related Items (10)

A Functional Abstraction of Typed Invocation Contexts ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Functional un\(|\)unparsing ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Delimited control operators prove double-negation shift ⋮ On typing delimited continuations: Three new solutions to the printf problem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Polymorphic Delimited Continuations