Danvy and Andrzej Filinski. Representing control: a study of the CPS transformation (1992)

by Olivier
Venue:Mathematical Structures in Computer Science