596 search results - page 62 / 120 » Subtyping Recursive Types |
162
click to vote
ALGORITHMICA
2006
15 years 1 months ago
2006
We prove convergence in distribution for the profile (the number of nodes at each level), normalized by its mean, of random recursive trees when the limit ratio of the level and ...
107
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
Combinations of adaptive filters have attracted attention as a simple solution to improve filter performance, including tracking properties. In this paper, we consider combinati...
113
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
217
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
214
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...