Compiling with continuations, continued

DOI10.1145/1291151.1291179MaRDI QIDQ5168930zbMATH OpenOpenAlexFDO

Authors Andrew Kennedy

Publication date 21 July 2014

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

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

zbMATH Keywords

continuation passing stylecontinuationsfunctional programming languagesmonadsoptimizing compilation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Continuation passing style for effect handlers
• CPS in little pieces: composing partial continuations
• Linear continuation-passing
• Representing Control: a Study of the CPS Transformation
• A selective CPS transformation

Cited in

(12)

• Iteration and labelled iteration
• Linear continuation-passing
• Continuation-passing C, compiling threads to events through continuations
• Lightweight shape analysis based on physical types
• Mechanized Verification of CPS Transformations
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• ANF preserves dependent types up to extensional equality
• A Fresh Look at the λ-Calculus
• Effect handlers via generalised continuations
• Continuation passing style for effect handlers
• Contification using dominators
• Region-based resource management and lexical exception handlers in continuation-passing style

This page was built for publication: Compiling with continuations, continued

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