A first-order one-pass CPS transformatio
β
Olivier Danvy; Lasse R. Nielsen
π
Article
π
2003
π
Elsevier Science
π
English
β 497 KB
We present a new transformation of -terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and ΓΏrst-order. Previous CPS transformations only enjoyed two out of the three properties of being ΓΏrst-order, one-pass, and compositional, but the new