Reflection in logic, functional and object-oriented programming: a Short Comparative Study

Reflection in logic, functional and object-oriented programming: a Short Comparative Study

Abstract: Reflection is a wide-ranging concept that has been studied independently in many different areas of science in general, and computer science in particular. Even in the sub-area of programming languages, it has been applied to different paradigms, especially the logic, functional and objectoriented ones. Partly because of different past influences, but also because researchers in these communities scarcely talk to each others, concepts have evolved separately...

Quite an old paper, but pretty interesting. And yes, it mentions reflective towers and Frege :)