Compiling with continuations, continued

DOI10.1145/1291151.1291179zbMath1291.68124OpenAlexW1981830935MaRDI QIDQ5168930

Andrew J. 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

monadscontinuationsfunctional programming languagesoptimizing compilationcontinuation passing style

Mathematics Subject Classification ID

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

Related Items

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