2646 search results - page 31 / 530 » Local Type Inference |
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
MSCS
2008
14 years 10 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...
TCS
2008
14 years 10 months ago
2008
Interpretation and Types for Systems Biology Fran
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...
IWPC
2000
IEEE
15 years 2 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...