 |
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
Type-z.org ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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
St-andrews.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|