Type inference in System F plus subtyping (1995)

by T Jim