Featherweight Generic Java Omega generalises Java's parameteric polymorphism that enables parameterization of classes and methods by type constructors.
This repository is an initial attempt to look at the source code from http://lampwww.epfl.ch/~cremet/FGJ-omega/.