19798 search results - page 37 / 3960 » Is Structural Subtyping Useful |
144
click to vote
ISBRA
2010
Springer
15 years 2 months ago
2010
Springer
The study of non-sequential alignments, with different connectivity of the aligned fragments in the proteins being compared can offer a more complete picture of the structural, evo...
132
Voted
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
This study shows an effective way to explore and visualize the structure-activity relationships (SARs) of flavonoids with antioxidant activity using structure- activity maps (SAMs...
256
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
142
Voted
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
133
Voted
ICFP
2000
ACM
15 years 9 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 ...