1982 search results - page 2 / 397 » Parametricity and dependent types |
FLOPS
2008
Springer
13 years 7 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
ICASSP
2010
IEEE
13 years 3 months ago
2010
IEEE
Noise is inevitably introduced during model based parametrization of acoustic fields, acquired using microphone arrays. This is due to the finite number of microphones used, the f...
ESOP
2009
Springer
14 years 5 days 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...
ECOOP
1999
Springer
13 years 9 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
POPL
1993
ACM
13 years 9 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...