4997 search results - page 12 / 1000 » Genericity - a |
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
Future CSCL technologies are described by the community as flexible, tailorable, and appropriate for various collaborative settings, conditions and contexts. This paper describes ...
AISC
2004
Springer
13 years 11 months ago
2004
Springer
We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Her...
AAIP
2009
13 years 8 months ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
LOBJET
2006
13 years 7 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...
AML
2004
13 years 7 months ago
2004
We point out a connection between reflection principles and generic large cardinals. One principle of pure reflection is introduced that is as strong as generic supercompactness of...