283 search results - page 36 / 57 » Functional Pearls: Probabilistic functional programming in H... |
106
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
131
click to vote
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
135
click to vote
SCP
2008
15 years 1 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
133
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...