2019 search results - page 200 / 404 » Programming with Shared Data Abstractions |
118
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
144
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
148
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
127
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
141
click to vote
APLAS
2011
ACM
14 years 3 months ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...