Intensions and Extensions in a Reflective Tower (1988)

Cached

Download Links

by Olivier Danvy , Karoline Malmkjær , Karoline Malmkjr
Venue:In Proceedings of the 1988 ACM Conference on LISP and Functional Programming
Citations:37 - 7 self

Documents Related by Co-Citation

71 The mystery of the tower revealed: A non-reflective description of the reflective tower – Daniel P. Friedman - 1988
190 Reflection and semantics in lisp – B C Smith - 1984
64 The implementation of procedurally reflective languages – J des RiviĆ©res, B C Smith - 1984
63 Reification: Reflection Without Metaphysics – D Friedman, M Wand - 1984
462 Concepts and experiments in computational reflection – Pattie Maes - 1987
25 A Simple Reflective Interpreter – Stanley Jefferson, Daniel P. Friedman - 1992
806 The Art of the Metaobject Protocol – G Kiczales, J des Rivieres, D G Bobrow - 1991
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
173 Reflection and semantics in a procedural language – Brian Cantwell Smith - 1982
148 Computational Reflection – P Maes - 1987
58 Abstract continuations: A mathematical semantics for handling full functional jumps – M Felleisen, M Wand, D P Friedman, B F Duba - 1988
130 Representing Monads – Andrzej Filinski - 1994
150 The theory and practice of first-class prompts – M Felleisen - 1988
20 Reification without Evaluation – A Bawden - 1988
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
56 Danvy and Andrzej Filinski. Abstracting control – Olivier - 1990
10 A Semantics of Introspection in a Reflective Prototype-Based Language – Jacques Malenfant, Christophe Dony, Pierre Cointe - 1996
22 M-LISP: A Representation-Independent Dialect of LISP with Reduction Semantics – Robert Muller - 1992