Representing control: a study of the CPS transformation (1992)

by O Danvy, A Filinski
Venue:Mathematical Structures in Computer Science