Constraint-based type inference and parametric polymorphism (1994)

by O Agesen
Venue:In Proceedings of the First International Static Analysis Symposium