On the transformation between direct and continuation semantics, in (1993)

by O Danvy, J Hatcliff
Venue:Schmidt (Eds.), Proceedings of the 9th Conference on Mathematical Foundations of Programming Semantics