Review About Computational Reflection - Includes an overview of the language, glossary of terms, links to reviews, and links to programmers' personal pages. - http://tunes.org/wiki/Methods_of_Reflection
Ink Programming Language - Relation-based language, with clear separation between data and processes; reflective; typing can be static or dynamic; design by contract (DbC), time-constraint programming. Description, code samples. [TypeZDotOrgWiki] - http://wiki.type-z.org/index.php?n=Projects.Ink
Reflection '96 Conference - Proceedings, electronic copies of abstracts and full documents. Much useful information. - http://www2.parc.com/csl/groups/sda/projects/reflection96/
Napier88 - Programming system (language and persistent environment) from University of St Andrews. Features: orthogonal persistence, type completeness, higher-order procedures, abstract (existential) data types, collections of bindings, strongly typed stable store, - http://www-ppg.dcs.st-and.ac.uk/Languages/Napier88/
ISE Technology paper: Agents, Iterators and Introspection in Eiffel - Written in the form of an addition to the book 'Eiffel: The Language'. Introspection is Eiffel's term for reflection. Acrobat PDF format. - http://archive.eiffel.com/doc/manuals/language/agent/page.html