856 search results - page 33 / 172 » Dependent Types in Practical Programming |
127
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
118
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
122
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
110
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
"Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type class...
227
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...