Andreas V. Hense

• Polymorphic type inference for object-oriented programming languages