Axioms for control operators in the CPS hierarchy
From MaRDI portal
Publication:2464730
DOI10.1007/s10990-007-9009-xzbMath1128.68009OpenAlexW2119464086MaRDI QIDQ2464730
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
Related Items (3)
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