A *(Learning Lounge) course about *(Reflection).

<ul>
<li>_(Brian C. Smith)'s thesis, the first work on computational reflection. Introduces most of the basic ideas and the languages 1/2/3-Lisp.
<li>_(A Tutorial on Behavioral Reflection and its Implementation| http://www2.parc.com/csl/groups/sda/projects/reflection96/docs/malenfant/ref96/ref96.html), which explains the different kinds of reflection and the implementation issues from a pretty simple perspective.
<li>_(Provability and Reflection|http://wwwmath.uni-muenster.de/math/inst/logik/publ/pre/2.html): Formal results about metalogical reflection. A hard to read text.
<li>_(Reflection, Lambda-calculus and Non-determinism|http://fare.tunes.org/tmp/).
<li>A yet-to-be-done selection of stuff from the _(Methods of Reflection) review page, in part still at the _(static site|http://tunes.org/Review/Reflection.html).
</ul>

... and obviously _(Fare)'s thesis, when it will be ready (What? Where? Don't even ask, you already know where to find it.)