Erik Meineche Schmidt;Michael I. Schwartzbach
-;-
Type substitution for object-oriented programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications