Polymorphic type inference and assignment (1991)

by X Leroy, P Weis
Venue:In Proc. 18th Annual ACM Symp. on Principles of Programming Languages