17983 search results - page 281 / 3597 » Set Types and Applications |
193
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
161
click to vote
SE
2007
15 years 8 months ago
2007
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
168
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
191
click to vote
PARCO
1997
15 years 8 months ago
1997
During the last decade, all commercial database systems have included features for parallel processing into their products. This development has been driven by the fact that datab...
197
click to vote
CONIELECOMP
2006
IEEE
16 years 23 days ago
2006
IEEE
Several different fabrication techniques and materials have been proposed for making low loss high performance micromachined transmission lines. In this paper a review of several ...