Linear Continuation-Passing (2002)
Cached
Download Links
| Venue: | IN THE 2001 ACM SIGPLAN WORKSHOP ON CONTINUATIONS (CW'01 |
| Citations: | 3 - 1 self |
BibTeX
@INPROCEEDINGS{Berdine02linearcontinuation-passing,
author = {Josh Berdine and Peter O'Hearn and Uday Reddy and Hayo Thielecke},
title = {Linear Continuation-Passing},
booktitle = {IN THE 2001 ACM SIGPLAN WORKSHOP ON CONTINUATIONS (CW'01},
year = {2002},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
