Abstracting Control (1990)

by Olivier Danvy, Andrzej Filinski
Venue:In Proceedings of the 1990 ACM Conference on LISP and Functional Programming