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

by D Simple Rémy
Venue:In: ICFP