1989 search results - page 203 / 398 » Set functions for functional logic programming |
145
Voted
CLOUD
2010
ACM
15 years 8 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
268
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
125
Voted
ICDT
1995
ACM
15 years 7 months ago
1995
ACM
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
127
click to vote
SEUS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
139
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...