A Generic Account of Continuation-Passing Styles (1994)

by John Hatcliff, Olivier Danvy
Venue:Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages