On Exceptions versus Continuations in the Presence of State (2000)

Cached

Download Links

by Hayo Thielecke
Venue:Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000,, number 1782 in LNCS
Citations:14 - 3 self

Active Bibliography

3 Contrasting Exceptions and Continuations – Hayo Thielecke - 2001
7 Exceptions, Continuations and Macro-Expressiveness – J. Laird - 2002
8 Typed Exceptions and Continuations Cannot Macro-Express Each Other – Jon G. Riecke, Hayo Thielecke - 1999
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
19 From Control Effects to Typed Continuation Passing – Hayo Thielecke - 2003
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
Continuations, Functions and Jumps – Jon G. Riecke, Hayo Thielecke - 1999
7 Comparing Control Constructs by Typing Double-barrelled CPS Transforms – Hayo Thielecke - 2001
11 Adding Delimited and Composable Control to a Production Programming Environment – Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthian Felleisen - 2007
The λμ-calculus: Function and Control – G.M. Bierman - 1998
Languages – Jeffrey A. Vaughan
3 Linear Continuation-Passing – Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke - 2002
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) – Amr Sabry, (ed.), Amr Sabry (editor, Daniel P. Friedman - 2001
3 Sharing Continuations: Proofnets for Languages With Explicit Control – Julia L. Lawall , Harry G. Mairson
13 An Introduction to Landin's "A Generalization of Jumps and Labels " – Hayo Thielecke
2 Return Types for Functional Continuations – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1998
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
32 A Semantic analysis of control – James David Laird - 1998
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997