2335 search results - page 66 / 467 » Type Checking Type Classes |
COMBINATORICS
2000
13 years 8 months ago
2000
We define type-B analogues of combinatorial statistics previously studied on noncrossing partitions and show that analogous equidistribution and symmetry properties hold in the ca...
ECOOP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
SPEECH
2010
13 years 3 months ago
2010
This paper shows that the effect of different types of noise on recognition of different phonemes by native versus non-native listeners is highly variable, even within classes of ...
ICSE
2007
IEEE-ACM
14 years 3 months ago
2007
IEEE-ACM
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
JCT
2006
13 years 8 months ago
2006
Consider two locally finite rooted trees as equivalent if each of them is a topological minor of the other, with an embedding preserving the tree-order. Answering a question of va...