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.
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]
