1614 search results - page 18 / 323 » Polymorphism and Genetic Programming |
LICS
1991
IEEE
14 years 4 days ago
1991
IEEE
TOPLAS
2008
13 years 8 months ago
2008
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
BMCBI
2010
13 years 8 months ago
2010
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...