1081 search results - page 27 / 217 » Type Inference of SELF |
126
click to vote
ICES
2010
Springer
15 years 1 months ago
2010
Springer
In previous work the authors have described an approach for building distributed self
115
click to vote
MSCS
2008
15 years 3 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
139
Voted
FLOPS
2008
Springer
15 years 5 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...
114
Voted
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...