Fuh and Prateek Mishra. Type inference with subtypes (1990)

by Y C
Venue:Theoretical Computer Science