Kiev
Prolog-like engine, multimethods, parameterized types (derived from Pizza), closures (derived from Pizza), arithmetic types, type states and cases (derived from Pizza), 'foreach' statement, global method and variable definitions, virtual fields, variable number of arguments of methods, project, incremental compiling. [Open Source, GPL]
Java > Extensions
|
Nextgen
An extension of Java and GJ to support polymophic methods while perserving static type information (no erasure). For research purposes.
Java > Extensions
|
PJama
A Glasgow University / Sun research project to extend Java at the Virtual Machine level to provide orthogonal persistence. Free preliminary implementation available.
Java > Extensions
|
JaWA
Java With Assertions, an extension of Java by assertions, a concept borrowed from Bertrand Meyer, and Eiffel. Still available, superseded by Jass.
Java > Extensions
|
|