Second-order uni and type inference for Church-style polymorphism (1998)

by A Schubert
Venue:In Conf. Rec. POPL '98: 25th ACM Symp. Principles of Prog. Languages