On One-Pass CPS Transformations

Authors

  • Olivier Danvy
  • Lasse R. Nielsen

DOI:

https://doi.org/10.7146/brics.v9i3.21722

Abstract

We bridge two distinct approaches to one-pass CPS transformations, i.e., CPS transformations that reduce administrative redexes at transformation time instead of in a post-processing phase. One approach is compositional and higher-order, and is due to Appel, Danvy and Filinski, and Wand, building on Plotkin's seminal work. The other is non-compositional and based on a syntactic theory of the lambda-calculus, and is due to Sabry and Felleisen. To relate the two approaches, we use Church encoding, Reynolds's defunctionalization, and an implementation technique for syntactic theories, refocusing, developed in the second author's PhD thesis.

Downloads

Published

2002-01-05

How to Cite

Danvy, O., & Nielsen, L. R. (2002). On One-Pass CPS Transformations. BRICS Report Series, 9(3). https://doi.org/10.7146/brics.v9i3.21722