Auf dieser Seite findet sich ein Papier, das noch in Arbeit ist.
In diesem Papier werden algebraische Typen wie aus funktionalen Sprachen in Java implementiert, wobei exessiv die neuen Sprachelemente aus Java 1.5 zum Einsatz kommen.
Es wird eine Syntax für algebraische Typen vorgestellt und ein Programm geschrieben, das Baumklassen und Besucherklassen für einen algebraischen Typen generiert.
Im Papier werden Klassen aus dem Papier Javaerweiterungen mit Java 1.5 benutzt.