"From Monomorphic to Polymorphic Well-Typings and Beyond."

Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics