CPS transformation of beta-redexes (2005)

by O Danvy, L R Nielsen
Venue:Information Processing Letters