19798 search results - page 7 / 3960 » Is Structural Subtyping Useful |
ECOOP
2006
Springer
13 years 11 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...
LICS
2003
IEEE
14 years 28 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
NAR
2006
13 years 7 months ago
2006
HHsenser is the first server to offer exhaustive intermediate profile searches, which it combines with pairwise comparison of hidden Markov models. Starting from a single protein ...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
APLAS
2003
ACM
2003
ACM
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
14 years 27 days ago