Danvy and Andrezj Filinski. Representing control: A study of the cps transformation (1992)

by Olivier
Venue:Mathematical Structures in Computer Science