CPS transformation of beta-redexes

Citations of this article
Mendeley users who have this article in their library.


The extra compaction of the most compacting CPS transformation in existence, which is due to Sabry and Felleisen, is generally attributed to (1) making continuations occur first in CPS terms and (2) classifying more redexes as administrative. We show that this extra compaction is actually independent of the relative positions of values and continuations and furthermore that it is solely due to a context-sensitive transformation of beta-redexes. We stage the more compact CPS transformation into a first-order uncurrying phase and a context-insensitive CPS transformation. We also define a context-insensitive CPS transformation that provides the extra compaction. This CPS transformation operates in one pass and is dependently typed. © 2005 Elsevier B.V. All rights reserved.




Danvy, O., & Nielsen, L. R. (2005). CPS transformation of beta-redexes. Information Processing Letters, 94(5), 217–224. https://doi.org/10.1016/j.ipl.2005.02.002

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free