A sound and complete axiomatization of delimited continuations

DOI10.1145/944705.944722zbMath1315.68098OpenAlexW2092112509MaRDI QIDQ5261274

Yukiyoshi Kameyama, Masahito Hasegawa

Publication date: 2 July 2015

Published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/944705.944722

zbMATH Keywords

continuationaxiomatizationCPS-translation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

A Functional Abstraction of Typed Invocation Contexts ⋮ A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc ⋮ Functional un\(|\)unparsing ⋮ Verifying Selective CPS Transformation for Shift and Reset ⋮ A proof-theoretic foundation of abortive continuations ⋮ Axioms for control operators in the CPS hierarchy ⋮ A type-theoretic foundation of delimited continuations ⋮ On typing delimited continuations: Three new solutions to the printf problem ⋮ Unnamed Item

This page was built for publication: A sound and complete axiomatization of delimited continuations