Compiled, object-oriented language from Programming Methodology Group, MIT Laboratory for Computer Science. Home site: documents (definition, history) as PS files, FTP download links for native and portable versions.
Java with support for generic programming in the form of parameterized types. Provides constrained parametric polymorphism, with advantages over some other proposals for adding genericity to Java. [Open Source, GPL]