1626 search results - page 30 / 326 » Subtyping with Power Types |
125
Voted
BCB
2010
2010
Fast graph approaches to measure influenza transmission across geographically distributed host types
14 years 10 months ago
Recent advances in next generation sequencing are providing a number of large whole-genome sequence datasets stemming from globally distributed disease occurrences. This offers an...
126
click to vote
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
115
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: While high-dimensional molecular data such as microarray gene expression data have been used for disease outcome prediction or diagnosis purposes for about ten years i...
116
Voted
C++
1994
15 years 4 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
130
Voted
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...