Sciweavers

1614 search results - page 18 / 323
» Polymorphism and Genetic Programming
Sort
View
TOPLAS
2008
55views more  TOPLAS 2008»
15 years 1 months ago
AspectML: A polymorphic aspect-oriented functional programming language
Daniel S. Dantas, David Walker, Geoffrey Washburn,...
120
Voted
ESOP
2001
Springer
15 years 6 months ago
Encoding Intensional Type Analysis
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...
Stephanie Weirich
FOSSACS
2008
Springer
15 years 3 months ago
Erasure and Polymorphism in Pure Type Systems
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...
Nathan Mishra-Linger, Tim Sheard
BMCBI
2010
151views more  BMCBI 2010»
15 years 2 months ago
CCRaVAT and QuTie - enabling analysis of rare variants in large-scale case control and quantitative trait association studies
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...
Robert Lawrence, Aaron G. Day-Williams, Katherine ...