A generic account of continuation-passing styles (1994)

by J Hatcliff, O Danvy
Venue:Proceedings 21st Annual ACM Symposium on Principles of Programming Languages