[Haskell-cafe] State Machine and the Abstractions
stephen.tetley at gmail.com
Mon May 30 00:28:38 CEST 2011
Try these two first:
Domain Specific Languages for Cellular Interactions
The Essence of Multitasking
There are more resumptions (and "reactions") in "Achieving Information
Flow Security Through Precise Control of Effects" and "Domain
Separation by Construction".
On 29 May 2011 22:06, Yves Parès <limestrael at gmail.com> wrote:
> @Stephen: Resumption monads? It looks interesting, but I fait to see which
> paper is about it...
More information about the Haskell-Cafe