5096 search results - page 34 / 1020 » Associations as a Language Construct |
ICFP
2000
ACM
15 years 4 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
VLDB
1999
ACM
15 years 4 months ago
1999
ACM
Motivated to a large extent by the substantial and growing prominence of the World-Wide Web and the potential benefits that may be obtained by applying database concepts and tech...
116
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
POS
1992
Springer
15 years 3 months ago
1992
Springer
