Sciweavers

140
Voted
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
15 years 10 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
106
Voted
AFP
2008
Springer
229views Formal Methods» more  AFP 2008»
15 years 10 months ago
From Reduction-Based to Reduction-Free Normalization
Olivier Danvy
160
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 10 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
112
Voted
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
15 years 10 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
116
Voted
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
15 years 10 months ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
135
Voted
AFP
2008
Springer
252views Formal Methods» more  AFP 2008»
15 years 10 months ago
Dependently Typed Programming in Agda
Ulf Norell