Sound Polymorphic Type Inference for Objects (0)

by J Eifrig, S F Smith, V Trifonov
Venue:Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’95