Linearly Used Continuations
Josh Berdine, Peter W. O’Hearn, Uday S. Reddy, Hayo Thielecke · 2000
this paper is to describe the main conceptual aspects of linearly used continuations in a way that keeps the technical discussion as simple as possible. So we concentrate on soundness only. A comprehensive analysis of completeness properties of our transforms, or variants, represents a challenge for future work, and in stating the transforms for a variety of features we hope to make clear what some of the challenges are. Several of these problems are discussed at the end of the paper