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

by D Simple Rémy
Venue:In: The International Conference on Functional Programming