4835 search results - page 221 / 967 » Refactoring Functional Programs |
107
click to vote
SC
1992
ACM
15 years 6 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We show that linear probing requires 5-independent hash functions for expected constant-time performance, matching an upper bound of [Pagh et al. STOC’07]. For (1 + ε)-approxima...
102
Voted
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
119
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
114
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...