"Software extension and integration with type classes."

Ralf Lämmel, Klaus Ostermann (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics