769 search results - page 104 / 154 » Supporting Reflective Practitioners |
POPL
2004
ACM
14 years 8 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
CADE
2003
Springer
14 years 8 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
EDBT
2002
ACM
14 years 8 months ago
2002
ACM
With the emergence of applications that require content-based similarity retrieval, techniques to support such a retrieval paradigm over database systems have emerged as a critica...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
Nonprofit organizations working with high-risk vulnerable populations such as human trafficking victims often need to engage in a significant level of interorganizational collabor...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
We explore the role of sound as a medium for social reminiscing: 10 families were involved in recording ‘sonic souvenirs’ of their holidays. They shared and discussed their co...