Subtyping First-Class Polymorphic Components

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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
Pages342-356
Number of pages15
DOIs
Publication statusPublished - 1 Jan 2005
EventEuropean Symposium on Programming -
Duration: 1 Jan 2005 → …

Conference

ConferenceEuropean Symposium on Programming
Period1/01/05 → …

Keywords

  • Classes
  • Subtyping algorithms
  • Polymorphic components

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

  • Cite this