Java-CO compiler

Compiler for the language Java-CO, which is a Java variant with a type system based on covariance, somewhat like in the language Eiffel. The compiler translates the programs to pure Java. (Duarte Martins, Artur Miguel Dias)