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]
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.
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, graphical data types, concurrent execution and data access, support for reflective programming.
Reflection '96 Conference: Proceedings, electronic copies of abstracts and full documents. Much useful information.
ResearchIndex: Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently: From OOPSLA October 1992.
ResearchIndex: Reflection in logic, functional and object-oriented programming: a Short Comparative Study: From Department of Data Processing and Operations Research, University of Montreal, Quebec, Canada.
Review About Computational Reflection: Includes an overview of the language, glossary of terms, links to reviews, and links to programmers' personal pages.
TUNES Project: Reflection: Unique description, links. [Open Content]