Towards a Theory of Reflective Programming Languages (1993)

by Anurag Mendhekar , Daniel P. Friedman
Venue:IN INFORMAL PROC. OF THE THIRD WORKSHOP ON REFLECTION AND METALEVEL ARCHITECTURES IN OBJECT-ORIENTED PROGRAMMING, OOPSLA'93
Citations:6 - 0 self

Active Bibliography

12 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
10 A Semantics of Introspection in a Reflective Prototype-Based Language – Jacques Malenfant, Christophe Dony, Pierre Cointe - 1996
38 Reflection in logic, functional and object-oriented programming: a short comparative study – François-nicola Demers, Jacques Malenfant
4 Using Reflection to Support Type-Safe Evolution in Persistent Systems – G. N. C. Kirby, R. C. H. Connor, R. Morrison, D. Stemple - 1996
First-class Interpreters: Illustrating the Limits Imposed by Representation in a Reflective Language – John Wiseman Simmons, II, John Wiseman, Simmons Ii, Daniel P. Friedman - 1993
Towards An Actual Gödel Machine Implementation: A Lesson in Self-Reflective Systems 1 – Bas R. Steunebrink, Jürgen Schmidhuber
11 A Generic Reification Technique for Object-Oriented Reflective Languages – Rémi Douence, Mario Südholt - 2001
2 Language Extensibility via First-class Interpreters and Constructive Modules – David Espinosa - 1993
The Next 700 Reflective Object-Oriented Languages – Remi Douence, Mario Südholt - 1999
13 Reflective Programming in the Relational Algebra – Jan Van Den Bussche, Dirk Van Gucht, Gottfried Vossen - 1993
4 PINOCCHIO: Bringing Reflection to Life with First-Class Interpreters – Toon Verwaest, Camillo Bruni, David Gurtner, Adrian Lienhard, Oscar Nierstrasz
71 The mystery of the tower revealed: A non-reflective description of the reflective tower – Daniel P. Friedman - 1988
Niels Jakob Rehof Morten Heine Srensen – Diku Department Of, Niels Jakob Rehof, Morten Heine Srensen - 1994
Explicit Substitutions for the λΔ-calculus – Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
M-LISP: Its Natural Semantics and Equational Logic (Extended Abtract) – Robert Muller - 1991
Embeddings and Infinite reduction paths in Untyped λ-calculus – Morten Heine Sørensen
Acknowledgments – unknown authors
7 Macroexpansion Reflective Tower – Christian Queinnec - 1996