Reflection/Meta-Programming

Expressions that talk about themselves

Fokkinga, Maarten M. (article, 1996)

A Semantics of Compile-time Reflection

James Hook and Tim Sheard (misc, 19)

Building program generators the easy way (extended abstract)

Samuel Kamin (misc, 1997)

Language implementation as a functional tool-building exercise

Samuel Kamin (InProceedings, 1998)

Using Reflection to Support Type-Safe Evolution in Persistent Systems

G.N.C. Kirby and R.C.H. Connor and R. Morrison and D. Stemple (techreport, 1996)

Self-Interpretation and Reflection in a Statically Typed Language

Konstantin Läufer and Martin Odersky (inproceedings, 1993)

Issues in Computational Reflection

Pattie Maes[P. Maes and D. Nardi (ed)] (incollection, 1988)

Partial Evaluation in Reflective System Implementations

Erik Ruf (inproceedings, 1993)

Meta-Programming tools for ML

Tim Sheard and James Hook (misc, 1994)

Dynamic Typing as Staged Type Inference

Mark Shields and Tim Sheard and Simon Peyton Jones[ (ed)] (inproceedings, 1998)

First-Class Interpreters: Illustrating the Limits Imposed by Representation in a Reflective Language

Daniel P.~Friedman and John Wiseman Simmons II (inproceedings, 1994)

Reflection and Semantics in Lisp

Brian Cantwell Smith (inproceedings, 1984)

Open Design of Object-Oriented Languages, A Foundation for Specialisable Reflective Language Frameworks (chapter 2)

Patrick Steyaert (phdthesis, 1994)

Reflections on Trusting Trust

Ken Thompson (article, 1984)

The Theory of Fexprs is Trivial

Mitchell Wand (article, 1996)