CPS transformation of beta-redexes

Olivier Danvy, Lasse R. Nielsen. CPS transformation of beta-redexes. Inf. Process. Lett., 94(5):217-224, 2005. [doi]

Abstract

Abstract is missing.