7189 search results - page 1176 / 1438 » Connecting Design with Code |
161
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
150
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
145
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
138
click to vote
MOBISYS
2003
ACM
16 years 4 months ago
2003
ACM
Remote execution can transform the puniest mobile device into a computing giant able to run resource-intensive applications such as natural language translation, speech recognitio...
130
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
ization of domain-specific programming abstractions for wireless sensor actor networks can greatly ease application development. A high level of abstraction from underlying system...