Implicit Polymorphism with Subtyping

We try to develop a new type system in the tradition of the ML type system that supports subtyping between base types or type constructors. Our goal is to devise a type discipline for a strongly typed, higher-order object-oriented language, building on well-understood concepts from type systems for functional languages.

Project partner: Ecole des Mines, Paris

Contact person: Dr. Stephan Merz.

Publication:

• Technical Report 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