1392 search results - page 34 / 279 » Staging generic programming |
JFP
2006
13 years 7 months ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
STOC
2012
ACM
11 years 10 months ago
2012
ACM
We propose a new notion of secure multiparty computation aided by a computationally-powerful but untrusted “cloud” server. In this notion that we call on-the-fly multiparty c...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...
ICLP
2003
Springer
14 years 27 days ago
2003
Springer
ECTEL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Learning Design offers the possibility of capturing the process, activities, user organization and resources used in a learning experience. But a wider set of scenarios a...