1620 search results - page 7 / 324 » Testing Polymorphic Properties |
108
click to vote
JFP
2002
14 years 11 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
AFP
1995
Springer
15 years 3 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
PODS
1994
ACM
15 years 3 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
BMCBI
2008
14 years 11 months ago
2008
Background: An important goal of whole-genome studies concerned with single nucleotide polymorphisms (SNPs) is the identification of SNPs associated with a covariate of interest s...
114
click to vote
ECSQARU
2001
Springer
15 years 4 months ago
2001
Springer
The aim of this paper is to test if conjunctive and disjunctive judgments are differently accounted for possibility and probability theories depending on whether (1) judgments are ...