"Simple, partial type-inference for System F based on type-containment."

Didier Rémy (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics