From control effects to typed continuation passing

DOI10.1145/604131.604144zbMath1321.68132OpenAlexW2136545577MaRDI QIDQ2942920

Hayo Thielecke

Publication date: 11 September 2015

Published in: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

polymorphismcontinuationstype and effect systemscontrol effects

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (6)

ANF preserves dependent types up to extensional equality ⋮ Region-based resource management and lexical exception handlers in continuation-passing style ⋮ On the semantics of parsing actions ⋮ Axioms for control operators in the CPS hierarchy ⋮ On typing delimited continuations: Three new solutions to the printf problem ⋮ Completeness of continuation models for \(\lambda_\mu\)-calculus

Uses Software

• TREX

Cites Work

• Regular expression pattern matching for XML
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From control effects to typed continuation passing