1081 search results - page 6 / 217 » Type Inference of SELF |
138
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
156
Voted
PPDP
2009
Springer
16 years 11 days ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
161
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
165
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
165
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...