1614 search results - page 71 / 323 » Polymorphism and Genetic Programming |
POPL
1989
ACM
14 years 2 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
FPCA
1991
14 years 1 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
EVOW
2010
Springer
13 years 11 months ago
2010
Springer
We present a multi-parent hybrid genetic
ICFP
2000
ACM
14 years 2 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
BMCBI
2008
13 years 10 months ago
2008
Background: Researchers wishing to conduct genetic association analysis involving single nucleotide polymorphisms (SNPs) or haplotypes are often confronted with the lack of user-f...