Polymorphic type inference for object-oriented programming languages - Hense, Andreas V. (Verfasser) (Universität des Saarlandes, Saarbrücken, 2007)