Representing control: A study of CPS transformation (1992)

by Olivier Danvy, Andrzej Filinski
Venue:Mathematical Structures in Computer Science