1828 search results - page 4 / 366 » First-Class Type Classes |
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
ESAW
2007
Springer
13 years 11 months ago
2007
Springer
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
CAIP
2005
Springer
13 years 11 months ago
2005
Springer
We consider simple cube-curves in the orthogonal 3D grid. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded set. The c...
CL
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
ICFP
1996
ACM
13 years 9 months ago
1996
ACM