On Affine Typing and Completeness of CPS Export

@misc{citeulike:804676, abstract = {Introduction This paper is a companion to \Linearly Used Continuations\" by the authors. There, we show how a variety of control behaviours use continuations anely, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto statements), and process switching (coroutines). Our purpose here is to show how an ane typing discipline for the target of a cps transform can be used to prove a completeness result. Although many control constructs use continuations...}, author = {Berdine, Josh and O'Hearn, Peter W. and Thielecke, Hayo}, citeulike-article-id = {804676}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.2806}, keywords = {continuations, linear}, posted-at = {2006-08-18 04:02:44}, priority = {3}, title = {On Affine Typing and Completeness of CPS}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.2806} }

TY - GEN ID - citeulike:804676 L3 - citeulike-article-id:804676 N2 - Introduction This paper is a companion to \Linearly Used Continuations" by the authors. There, we show how a variety of control behaviours use continuations anely, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto statements), and process switching (coroutines). Our purpose here is to show how an ane typing discipline for the target of a cps transform can be used to prove a completeness result. Although many control constructs use continuations... TI - On Affine Typing and Completeness of CPS KW - continuations KW - linear AU - Berdine, Josh AU - O'Hearn, Peter AU - Thielecke, Hayo UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.2806 ER -