Re: [Haskell-cafe] State Machine and the Abstractions

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 wrote:

@Stephen: Resumption monads? It looks interesting, but I fait to see which paper is about it...