2335 search results - page 296 / 467 » Type Checking Type Classes |
125
Voted
FSTTCS
2000
Springer
15 years 4 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
107
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
2000
Springer
Schematic maps are effective tools for representing information e physical environment; they depict specific information in an abstract way. This study concentrates on spatial aspe...
112
click to vote
FPCA
1995
15 years 4 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
101
Voted
IPPS
1995
IEEE
15 years 4 months ago
1995
IEEE
The linear systems associated with large, sparse, symmetric, positive definite matrices are often solved iteratively using the preconditioned conjugate gradient method. We have d...
107
Voted
MM
1995
ACM
15 years 4 months ago
1995
ACM
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...