Polymorphic Type Inference (1983)

by D Leivant
Venue:In Proc. of POPL