From control effects to typed continuation passing

DOI10.1145/604131.604144MaRDI QIDQ2942920zbMATH OpenOpenAlexFDO

Authors 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

continuationscontrol effectspolymorphismtype and effect systems

Mathematics Subject Classification ID

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

Recommendations

• Typed equivalence of effect handlers and delimited control
• Typed Dynamic Control Operators for Delimited Continuations
• Effect handlers via generalised continuations
• Taming effects with monadic typing
• Taming effects with monadic typing
• Subtyping delimited continuations
• Reconciling noninterference and gradual typing
• scientific article; zbMATH DE number 3902021
• scientific article; zbMATH DE number 2061698
• Typing noninterference for reactive programs

Cites work

• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 1942450 (Why is no real title available?)
• scientific article; zbMATH DE number 1948151 (Why is no real title available?)
• scientific article; zbMATH DE number 1953123 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• Regular expression pattern matching for XML
• Types and programing languages

Cited in

(11)

• Linear continuation-passing
• On the semantics of parsing actions
• Axioms for control operators in the CPS hierarchy
• Completeness of continuation models for \(\lambda_\mu\)-calculus
• Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
• scientific article; zbMATH DE number 1538023 (Why is no real title available?)
• ANF preserves dependent types up to extensional equality
• Effect handlers via generalised continuations
• Programming Languages and Systems
• Region-based resource management and lexical exception handlers in continuation-passing style
• On typing delimited continuations: Three new solutions to the printf problem

Describes a project that uses

Uses Software

• TREX

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942920)