1072 search results - page 75 / 215 » Object-Oriented Type Inference |
134
click to vote
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
139
Voted
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
140
click to vote
ESOP
1994
Springer
15 years 7 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
106
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
209
click to vote
PPSWR
2005
Springer
15 years 8 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...