Sciweavers

11 search results - page 1 / 3
» afp 2008
Sort
View
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
14 years 1 months ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
14 years 1 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
14 years 1 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh