Web Directory

» 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

» 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

» 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-systems.cs.st-andrews.ac.uk/wiki/Napier88

» Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently
   Research paper; OOPSLA October 1992. ResearchIndex.
   http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.5688

» Reflection '96 Conference
   Proceedings, electronic copies of abstracts and full documents. Much useful information.
   http://www2.parc.com/csl/groups/sda/projects/reflection96/

» Reflection in Logic, Functional and Object-Priented Programming: A Short Comparative Study
   Research paper; Department of Data Processing and Operations Research, University of Montreal, Quebec, Canada. ResearchIndex.
   http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.6786