MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Logic Column 8

Download:
Download as a PDF | Download as a PS
by Jon G. Riecke, Hayo Thielecke
http://www.dcs.qmw.ac.uk/~ht/Logiccolumn8.ps
Add To MetaCart

Abstract:

Continuations, functions and jumps

Citations

1015 The C Programming Language – Kernighan, Ritchie
588 Compiling with Continuations – Appel - 1992
316 The polyadic -calculus: a tutorial – Milner - 1991
281 Functions as processes – Milner - 1992
251 Call-by-name, call-by-value and the *-calculus – Plotkin - 1975
224 Definitional interpreters for higher-order programming languages. Higher-Order and Symbolic – Reynolds - 1998
162 A formulae-as-types notion of control – Griffin - 1990
129 RABBIT: A compiler for SCHEME – Steele - 1978
86 The discoveries of continuations – Reynolds - 1993
84 Continuations: A mathematical semantics for handling full jumps – Strachey, Wadsworth - 1974
62 The pi-calculus in direct style – Boudol - 1997
44 Categorical Structure of Continuation Passing Style – Thielecke - 1997
21 A generalization of jumps and labels – Landin - 1998
11 Adriaan . Recursive definition of syntax and semantics – Wijngaarden - 1964
9 and Hayo Thielecke. Typed exceptions and continuations cannot macro-express each other – Riecke - 1999
View or Download | Add to My Collection | Correct Errors