3116 search results - page 9 / 624 » Positively dependent types |
SCVMA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents and investigates a set of local spacetime descriptors for representing and recognizing motion patterns in video. Following the idea of local features ...
86
Voted
CATS
2007
14 years 11 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
ECOOP
2003
Springer
15 years 2 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
90
Voted
FLOPS
2008
Springer
14 years 11 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...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...