Simple, partial type inference for System F, based on type containment (2005)

by Didier Rémy