A sound and complete axiomatization of delimited continuations
From MaRDI portal
Publication:5261274
DOI10.1145/944705.944722zbMath1315.68098MaRDI 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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A Functional Abstraction of Typed Invocation Contexts, Verifying Selective CPS Transformation for Shift and Reset, Unnamed Item, A type-theoretic foundation of delimited continuations, On typing delimited continuations: Three new solutions to the printf problem, Functional un\(|\)unparsing, A proof-theoretic foundation of abortive continuations, Axioms for control operators in the CPS hierarchy, A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc