1982 search results - page 45 / 397 » Parametricity and dependent types |
ECOOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Selecting a threshold for the statistical parameter maps in functional MRI (fMRI) is a delicate matter. The use of advanced test statistics and/or the complex dependence structure ...
ICCV
2005
IEEE
15 years 3 months ago
2005
IEEE
We present an approach for inferring the topology of a camera network by measuring statistical dependence between observations in different cameras. Two cameras are considered con...
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...