Compiling with continuations, continued

A Kennedy - Proceedings of the 12th ACM SIGPLAN international …, 2007 - dl.acm.org
We present a series of CPS-based intermediate languages suitable for functional language
compilation, arguing that they have practical benefits over direct-style languages based on A-…

The essence of compiling with continuations

C Flanagan, A Sabry, BF Duba, M Felleisen - ACM Sigplan Notices, 1993 - dl.acm.org
In order to simplify the compilation process, many compilers for higher-order languages use
the continuation-passing style (CPS) transformation in a first phase to generate an …

[BOOK][B] Compiling with continuations

AW Appel - 2007 - books.google.com
… Each continuation expression takes zero or more atomic … continues via zero or more
continuation expressions. For example integer additionofvariables a and b yielding c, continuing

Compiling with Continuations, or without? Whatever.

Y Cong, L Osvald, GM Essertel, T Rompf - Proceedings of the ACM on …, 2019 - dl.acm.org
continuations, and enforce continuations to behave in a 2nd-class manner. This allows us to
compile continuations as … a return continuation k2, and uses it to continue the execution after …

Compiling without continuations

L Maurer, P Downen, ZM Ariola… - Proceedings of the 38th …, 2017 - dl.acm.org
… Join points are often treated as functions or continuations, but we believe it is time to
study them in their own right. We show that adding join points to a direct-style functional …

Compiling with continuations, correctly

Z Paraskevopoulou, A Grover - … of the ACM on Programming Languages, 2021 - dl.acm.org
… We use this technique to revisit the semantic correctness of a continuation-passing style (CPS) …
Our continuation-passing style transformation is part of the CertiCoq compiler for Gallina, …

The logical essence of compiling with continuations

JE Santo, F Mendes - arXiv preprint arXiv:2304.14752, 2023 - arxiv.org
The essence of compiling with continuations is that conversion to continuation-passing style
(CPS) is equivalent to a source language transformation converting to administrative normal …

Compiling self-adjusting programs with continuations

R Ley-Wild, M Fluet, UA Acar - Proceedings of the 13th ACM SIGPLAN …, 2008 - dl.acm.org
… -based technique for writing and compiling self-adjusting programs from ordinary programs.
To compile self-adjusting programs, we use a continuationpassing style (cps) transformation …

Reasoning about programs in continuation-passing style

A Sabry, M Felleisen - Lisp and symbolic computation, 1993 - Springer
… that .4 ignores the current continuation and uses the initial continuation ()~xx) instead. We
therefore may extend the syntactic category of continuations with an "initial continuation" ()~xx)…

Continuation-passing, closure-passing style

AW Appel, T Jim - Proceedings of the 16th ACM SIGPLAN-SIGACT …, 1989 - dl.acm.org
continuation expressions instead of named continuation … our compiler produces a
lambda-calculus intermediate representation (described in [l]). This must be translated into …