Sciweavers

1828 search results - page 2 / 366
» First-Class Type Classes
Sort
View
LFP
1990
96views more  LFP 1990»
15 years 19 days ago
Static Dependent Types for First Class Modules
Mark A. Sheldon, David K. Gifford
ESOP
2005
Springer
15 years 5 months ago
Subtyping First-Class Polymorphic Components
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 syst...
João Costa Seco, Luís Caires
ECOOP
2005
Springer
15 years 5 months ago
First-Class Relationships in an Object-Oriented Language
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
Gavin M. Bierman, Alisdair Wren
ACL
1992
15 years 19 days ago
Information States as First Class Citizens
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
Jørgen Villadsen