On the Dynamic Extent of Delimited Continuations (2005)

by Dariusz Biernacki , Olivier Danvy
Citations:19 - 5 self

Documents Related by Co-Citation

151 The theory and practice of first-class prompts – Matthias Felleisen
24 Shift to control – Chung-Chieh Shan - 2004
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
129 Representing Monads – Andrzej Filinski - 1994
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
5418 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992