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

by Simple
Venue:In The International Conference on Functional Programming (ICFP’05