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

by Olivier
Venue:Mathematical Structures in Computer Science