Final Shift for Call/cc: Direct Implementation of Shift and Reset (2002)

by Martin Gasbichler , Michael Sperber
Citations:14 - 0 self

Documents Related by Co-Citation

150 The theory and practice of first-class prompts – M Felleisen - 1988
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
130 Representing Monads – Andrzej Filinski - 1994
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
58 Abstract continuations: A mathematical semantics for handling full functional jumps – M Felleisen, M Wand, D P Friedman, B F Duba - 1988
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
76 Representing Control in the Presence of First-Class Continuations – Robert Hieb, R. Kent Dybvig, Carl Bruggeman - 1990
30 A Dynamic Extent Control Operator for Partial Continuations – Christian Queinnec, Bernard Serpette, Ecole Polytechnique - 1991
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
19 Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators – Luc Moreau, Christian Queinnec - 1994
25 A Sound and Complete Axiomatization of Delimited Continuations – Yukiyoshi Kameyama, Masahito Hasegawa - 2003
24 Shift to control – Chung chieh Shan - 2004
16 How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible – O Kiselyov - 2005
26 Control Operators, Hierarchies, and Pseudo-Classical Type Systems: A-Translation at Work – C Murthy - 1992
24 A type-theoretic foundation of continuations and prompts – Zena M Ariola, Hugo Herbelin, Amr Sabry - 2004
730 Notions of Computation and Monads – Eugenio Moggi - 1991
39 Control delimiters and their hierarchies – Dorai Sitaram, Matthias Felleisen - 1990
35 Monads and Composable Continuations – Philip Wadler - 1993
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989