Martin Gasbichler and Michael Sperber. Final shift for call/cc: direct implementation of shift and reset. In Simon Peyton Jones, editor, Proceedings of the 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Sound and Complete Axiomatization of Delimited Continuations - Kameyama, Hasegawa (2003) (2 citations) (Correct)
.... and even mobile computation [32, 30, 27, 2] There are many proposals for representing first class delimited continuations [9, 6, 23, 17, 14] Among them, Danvy and Filinski s shift and reset operators [6, 7] are most widely used and e#cient implementations for them have been proposed [11, 13]. An important merit of their operators is that a clean and rigorous semantics is given through a CPStranslation. Moreover, Filinski [11] proved that any expressible monadic e#ects are representable by the shift and reset operators, which demonstrates the expressive power of these operators. We ....
M. Gasbichler and M. Sperber. Final shift for call/cc: Direct Implementation of Shift and Reset. In Proc. 7th pages 271--282, 2002.
An Operational Foundation for Delimited Continuations.. - Biernacka, Biernacki.. (2004) (Correct)
No context found.
Martin Gasbichler and Michael Sperber. Final shift for call/cc: direct implementation of shift and reset. In Simon Peyton Jones, editor, Proceedings of the 2002.
On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
No context found.
Martin Gasbichler and Michael Sperber. Final shift for call/cc: direct implementation of shift and reset. In Peyton Jones [50], pages 271--282.
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