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.
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.
Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently - Research paper; OOPSLA October 1992. ResearchIndex.
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]
TUNES Project: Reflection - Unique description, links. [Open Content]
Review About Computational Reflection - Includes an overview of the language, glossary of terms, links to reviews, and links to programmers' personal pages.
|