|
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 sto... http://www-systems.cs.st-andrews.ac.uk/wiki/Napier88 |
|