Implizite Polymorphie mit Subtypen

Thema dieses Projektes, das in Zusammenarbeit mit der Ecole des Mines, Paris, durchgeführt wird, ist die Ausarbeitung eines neuen Typsystems für ML-artige Sprachen, deren Basistypen partiell geordnet sein dürfen. Das Typsystem ist insbesondere gedacht für Sprachen, die funktionale und objektorientierte Konzepte miteinander verbinden.

Projektpartner: Ecole des Mines, Paris

Ansprechpartner: Dr. Stephan Merz.

Veröffentlichungen:

• Technischer Bericht On the integration of functional programming, class-based object-oriented programming, and multi-methods.
  
• Primitive subtyping /\ implicit polymorphism |= object-orientation .
• Type Checking Higher-Order Polymorphic Multi-Methods. 24th ACM Conference on the Principles of Programming Languages, 1997