[Haskell-cafe] State Machine and the Abstractions

Stephen Tetley 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 mailing list