Sciweavers

1828 search results - page 2 / 366
» First-Class Type Classes
Sort
View
76
Voted
POPL
2000
ACM
15 years 1 months ago
First-Class Macros have Types
Alan Bawden
LFP
1990
96views more  LFP 1990»
14 years 10 months ago
Static Dependent Types for First Class Modules
Mark A. Sheldon, David K. Gifford
ESOP
2005
Springer
15 years 3 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 3 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
14 years 10 months 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