On the Dynamic Extent of Delimited Continuations (2005)

by Dariusz Biernacki , Olivier Danvy
Citations:21 - 7 self

Documents Related by Co-Citation

150 The theory and practice of first-class prompts – M Felleisen - 1988
24 Shift to control – Chung-chieh Shan - 2004
308 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
132 Representing Monads – Andrzej Filinski - 1994
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
5962 Design Patterns: Elements of Reusable ObjectOriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
552 Lambda Calculi with Types – Henk Barendregt - 1993