Type inclusion constraints and type inference (1994)

by Conf Rec 21st Ann ACM Symp Princ of Prog Langs
Venue:Carnegie Mellon University