Reasoning with Continuations II: Full Abstraction for Models of Control (1990)

by Dorai Sitaram, Matthias Felleisen
Venue:In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming