Hayo Thielecke  Home/Search
Context Related
| cs.bham.ac.uk/~hxt...doublebarrel.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~hxt/res...htpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
.... using the isomorphism (B E) R = B R) E R) In this double barrelled cps two continuations are manipulated: return and handler [35]. hk; hi: k x = hk; hi: k (hk i: x: M hk i) hk; hi: M h m: N hm hk; hi; hi; hi raiseM = hk; hi: M hh; hi handleM e: H = hk; hi: M...
.... failure can be supplied with two continuations, # and # , which it may invoke respectively in the event of success and failure [Hay87, Thi01]. This translation is not the one that we obtain from disjunction (cf. Proposition 10.6) but does fall naturally out of the...
Cited by: More
Combining Continuations with Other Effects - Hyland, Levy, Plotkin, Power (Correct)
Linear Continuation-Passing - Berdine, O'Hearn, Reddy, Thielecke (2002) (Correct)
Sober Spaces And Continuations - Taylor (2002) (Correct)
Similar documents (at the sentence level):
22.7%: Proceedings of the Third ACM SIGPLAN Workshop on Continuations .. - Sabry, (ed.) (2001) (Correct)
9.8%: Comparing Control Constructs by Typing Double-barrelled CPS.. - Thielecke (2001) (Correct)
Active bibliography (related documents): More All
0.5: Contrasting Exceptions and Continuations - Thielecke (2001) (Correct)
0.4: Using a Continuation Twice and Its Implications for the.. - Thielecke (1998) (Correct)
0.3: An Introduction to Landin's "A Generalization of Jumps and Labels .. - Thielecke (Correct)
Similar documents based on text: More All
0.3: From Control Effects to Typed Continuation Passing - Thielecke (2003) (Correct)
0.2: Continuation Semantics and Self-adjointness - Thielecke (1997) (Correct)
0.2: Extracting the Range of cps from Affine Typing - Berdine, O'Hearn, Thielecke (Correct)
Related documents from co-citation: More All
4: Lambda calculus schemata - Fischer - 1972
4: Continuations: A mathematical semantics for handling full jumps (context) - Strachey, Wadsworth - 1974
4: The Next 700 Programming Language Descriptions (context) - Morris - 1970
BibTeX entry: (Update)
Thielecke, H.: ?, `Comparing Control Constructs by Double-barrelled CPS'. Higher-Order and Symbolic Computation ?(?), ? http://citeseer.ist.psu.edu/thielecke02comparing.html More
@misc{ thielecke-comparing,
author = "H. Thielecke",
title = "Comparing Control Constructs by Double-barrelled CPS",
text = "Thielecke, H.: ?, `Comparing Control Constructs by Double-barrelled CPS'.
Higher-Order and Symbolic Computation ?(?), ?",
url = "citeseer.ist.psu.edu/thielecke02comparing.html" }
Citations (may not include all citations):291 Computational lambda calculus and monads - Moggi - 1989
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
184 Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1998
184 Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1972
115 Revised 5 report on the algorithmic language Scheme - Kelsey, Clinger et al. - 1998
112 Constructivism in Mathematics (context) - Troelstra, van Dalen - 1988
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1992
88 Basic Proof Theory (context) - Troelstra, Schwichtenberg - 2001
61 Continuations: A mathematical semantics for handling full ju.. (context) - Strachey, Wadsworth - 1974
61 Continuations: A mathematical semantics for handling full ju.. (context) - Strachey, Wadsworth - 2000
51 Allyn and Bacon (context) - Schmidt - 1986
15 UNIVAC Systems Programming Research (context) - Landin, of et al. - 1965
12 Higher-Order and Symbolic Computation (context) - Landin, of et al. - 1998
12 Typed exceptions and continuations cannot macro-express each.. - Riecke, Thielecke - 1999
11 Linearly used continuations - Berdine, O'Hearn et al. - 2001
10 On exceptions versus continuations in the presence of state - Thielecke - 2000
10 Comparing control constructs by typing double-barrelled CPS .. - Thielecke - 2001
8 Assessing the overhead of ML exceptions by selective CPS tra.. - Kim, Yi et al. - 1998
8 Higher-Order and Symbolic Computation (context) - Reynolds, revisited - 1998
7 A formulae-as-types notion of control (context) - Gri - 1990
5 operator: a partly historical note (context) - Felleisen, Landin's - 1987
4 A generalization of jumps and labels (context) - Thielecke, to - 1998
Documents on the same site (http://www.cs.bham.ac.uk/~hxt/research/htpapers.html): More
Contrasting Exceptions and Continuations - Thielecke (2001) (Correct)
Linear Continuation-Passing - Berdine, O'Hearn, Reddy, Thielecke (2002) (Correct)
From Control Effects to Typed Continuation Passing - Thielecke (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC