On the Transformation between Direct and Continuation Semantics (1993)

by Olivier Danvy, John Hatcliff
Venue:Proceedings of the 9th Conference on Mathematical Foundations of Programming Semantics, number 802 in Lecture Notes in Computer Science