Subtyping First-Class Polymorphic Components

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type system that combines first class polymorphic values with structural equirecursive types and admits a subtyping algorithm which is arguably much simpler than existing alternatives. Our development is modular and can be easily instantiated for either a Kernel-Fun or a F ≤ T style of subtyping discipline. © Springer-Verlag Berlin Heidelberg 2005.
Original languageEnglish
Title of host publicationLecture Notes on Computer Science
Number of pages15
Publication statusPublished - 1 Jan 2005
EventEuropean Symposium on Programming -
Duration: 1 Jan 2005 → …


ConferenceEuropean Symposium on Programming
Period1/01/05 → …


  • Classes
  • Subtyping algorithms
  • Polymorphic components


Dive into the research topics of 'Subtyping First-Class Polymorphic Components'. Together they form a unique fingerprint.

Cite this