Polymorphic type inference (1983)

by D Leivant
Venue:In Conf. Rec. 10th Ann. ACM Symp. Princ. of Prog. Langs