2036 search results - page 289 / 408 » A generic type-and-effect system |
103
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Courseware systems are often based on an assembly of different components, addressing the different needs of storage and delivery functionality. The Learning Technology Standard A...
74
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Could people use tagging to manage day-to-day work in their personal computing environment? Could tagging be sufficiently generic and lightweight to support diverse ways of workin...
80
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
187
Voted
SIGMOD
2006
ACM
16 years 27 days ago
2006
ACM
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
ICFP
2004
ACM
16 years 21 days ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...