Olivier Danvy, Lasse R. Nielsen. CPS transformation of beta-redexes. Inf. Process. Lett., 94(5):217-224, 2005. [doi]
@article{DanvyN05,
title = {CPS transformation of beta-redexes},
author = {Olivier Danvy and Lasse R. Nielsen},
year = {2005},
doi = {10.1016/j.ipl.2005.02.002},
url = {http://dx.doi.org/10.1016/j.ipl.2005.02.002},
tags = {transformation},
researchr = {https://researchr.org/publication/DanvyN05},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {94},
number = {5},
pages = {217-224},
}