19798 search results - page 21 / 3960 » Is Structural Subtyping Useful |
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
FLOPS
2004
Springer
14 years 1 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
POPL
1989
ACM
13 years 11 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...
BMCBI
2010
13 years 2 months ago
2010
Background: Differential co-expression analysis is an emerging strategy for characterizing disease related dysregulation of gene expression regulatory networks. Given pre-defined ...
BMCBI
2006
2006
A jumping profile Hidden Markov Model and applications to recombination sites in HIV and HCV genomes
13 years 7 months ago
Background: Jumping alignments have recently been proposed as a strategy to search a given multiple sequence alignment A against a database. Instead of comparing a database sequen...