Comparing Control Constructs by Double-barrelled CPS (2002)
| Venue: | Higher-order and Symbolic Computation |
| Citations: | 15 - 2 self |
BibTeX
@ARTICLE{Thielecke02comparingcontrol,
author = {Hayo Thielecke},
title = {Comparing Control Constructs by Double-barrelled CPS},
journal = {Higher-order and Symbolic Computation},
year = {2002},
volume = {15},
pages = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of #-abstraction gives rise to di#erent control operators: first-class continuations; dynamic control; and (depending on a further choice of a variable) either the return statement of C; or Landin's J-operator. In each case there is an associated simple typing. For those constructs that allow upward continuations, the typing is classical, for the others it remains intuitionistic, giving a clean distinction independent of syntactic details. Moreover, those constructs that make the typing classical in the source of the CPS transform break the linearity of continuation use in the target.
