Axioms for control operators in the CPS hierarchy

DOI10.1007/s10990-007-9009-xzbMath1128.68009OpenAlexW2119464086MaRDI QIDQ2464730

Yukiyoshi Kameyama

Publication date: 17 December 2007

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-007-9009-x

zbMATH Keywords

AxiomatizationCPS translationType systemControl operatorDelimited continuation

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Proving soundness of extensional normal-form bisimilarities ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the dynamic extent of delimited continuations
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Linear continuation-passing
• From control effects to typed continuation passing
• Representing Control: a Study of the CPS Transformation
• A type-theoretic foundation of continuations and prompts
• A sound and complete axiomatization of delimited continuations
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy

This page was built for publication: Axioms for control operators in the CPS hierarchy