"Extensible and modular generics for the masses."

Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics