Subtyping First-Class Polymorphic Components

João Ricardo Viegas da Costa Seco; Luís Manuel Marques da Costa Caires

doi:10.1007/978-3-540-31987-0_24

Subtyping First-Class Polymorphic Components

João Ricardo Viegas da Costa Seco, Luís Manuel Marques da Costa Caires

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Lecture Notes on Computer Science
Pages	342-356
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-540-31987-0_24
Publication status	Published - 1 Jan 2005
Event	European Symposium on Programming - Duration: 1 Jan 2005 → …

Conference

Conference	European Symposium on Programming
Period	1/01/05 → …

Keywords

Classes
Subtyping algorithms
Polymorphic components

Access to Document

10.1007/978-3-540-31987-0_24

Cite this

@inproceedings{91501da2cf844d1a91c84bd60cd24bba,

title = "Subtyping First-Class Polymorphic Components",

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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2005.",

keywords = "Classes, Subtyping algorithms, Polymorphic components",

author = "Seco, {Jo{\~a}o Ricardo Viegas da Costa} and Caires, {Lu{\'i}s Manuel Marques da Costa}",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/978-3-540-31987-0_24",

language = "English",

pages = "342--356",

booktitle = "Lecture Notes on Computer Science",

note = "European Symposium on Programming ; Conference date: 01-01-2005",

}

TY - GEN

T1 - Subtyping First-Class Polymorphic Components

AU - Seco, João Ricardo Viegas da Costa

AU - Caires, Luís Manuel Marques da Costa

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

KW - Classes

KW - Subtyping algorithms

KW - Polymorphic components

U2 - 10.1007/978-3-540-31987-0_24

DO - 10.1007/978-3-540-31987-0_24

M3 - Conference contribution

SP - 342

EP - 356

BT - Lecture Notes on Computer Science

T2 - European Symposium on Programming

Y2 - 1 January 2005

ER -

Subtyping First-Class Polymorphic Components

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this