5096 search results - page 34 / 1020 » Associations as a Language Construct |
130
click to vote
ICFP
2000
ACM
15 years 8 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 ...
137
click to vote
VLDB
1999
ACM
15 years 8 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...
160
click to vote
POPL
2012
ACM
13 years 12 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 10 months ago
2006
ACM
POS
1992
Springer
15 years 8 months ago
1992
Springer
