On the Transformation between Direct and Continuation Semantics

Olivier Danvy, John Hatcliff. On the Transformation between Direct and Continuation Semantics. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Volume 802 of Lecture Notes in Computer Science, pages 627-648, Springer, 1993.

Abstract

Abstract is missing.