Linear Continuation-Passing

Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto statements), process switching (coroutines), and backtracking. However, continuations are often manipulated in a highly stylised way, and we show that all of these, bar backtracking, in fact use their continuations linearly; this is formalised by taking a target language for cps transforms that has both intuitionistic and linear function types.

• Type: Journal
• Year: 2002
• Where: LISP
• Authors: Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
• Keywords: Continuations, Control Behaviours, Goto Statements, LISP 2002