AFP 2008 | Sciweavers

40

AFP
2008
Springer

245views Formal Methods» more AFP 2008»

Self-adjusting Computation with Delta ML

14 years 7 months ago

Abstract. In self-adjusting computation, programs respond automatically and eﬃciently to modiﬁcations to their data by tracking the dynamic data dependences of the computation ...

Umut A. Acar, Ruy Ley-Wild

claim paper

Read More »

27

click to vote

AFP
2008
Springer

229views Formal Methods» more AFP 2008»

From Reduction-Based to Reduction-Free Normalization

14 years 7 months ago

Download www.brics.dk

Olivier Danvy

claim paper

Read More »

45

click to vote

AFP
2008
Springer

236views Formal Methods» more AFP 2008»

A Tutorial on Parallel and Concurrent Programming in Haskell

14 years 7 months ago

Download research.microsoft.com

This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We ﬁrst describe how to write semi-explicit parallel programs b...

Simon L. Peyton Jones, Satnam Singh

claim paper

Read More »

39

click to vote

AFP
2008
Springer

249views Formal Methods» more AFP 2008»

An iTask Case Study: A Conference Management System

14 years 7 months ago

Download www.cs.ru.nl

Workﬂow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workﬂow systems are static and not very ﬂex...

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...

claim paper

Read More »

34

click to vote

AFP
2008
Springer

241views Formal Methods» more AFP 2008»

Libraries for Generic Programming in Haskell

14 years 7 months ago

Download www.cs.uu.nl

Johan Jeuring, Sean Leather, José Pedro Mag...

claim paper