Polymorphic subtype inference: Closing the theory-practice gap (1989)

by Y-C Fuh, P Mishra
Venue:in ‘Proceedings of the International Joint Conference on Theory and Practice of Software Development