[Haskell-cafe] State Machine and the Abstractions

[Stephen Tetley]

Try these two first:

Domain Specific Languages for Cellular Interactions
http://www.cs.missouri.edu/~harrison/papers/embc04.pdf

The Essence of Multitasking
http://www.cs.missouri.edu/~harrison/papers/amast06.pdf


There are more resumptions (and "reactions") in "Achieving Information
Flow Security Through Precise Control of Effects" and "Domain
Separation by Construction".

http://people.cs.missouri.edu/~harrisonwl/publications.html


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...