Principal types for object-oriented languages - Hense, Andreas V.; Smolka, Gert 1955- (Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A], 1993)