A first-order one-pass CPS transformation (2003)

by O Danvy, L R Nielsen
Venue:Theoretical Computer Science