[Haskell-cafe] Fail-back monad

Stephen Tetley stephen.tetley at gmail.com
Thu Apr 5 10:14:43 CEST 2012

There is also recent work by Aaron Turon and Olin Shivers - Modular
Rollback through Control Logging


Note that as well as the paper on Olin Shivers's site there is a more
recent monadic presentation on Aaron Turon's site with Conor

On 28 March 2012 18:11, Stephen Tetley <stephen.tetley at gmail.com> wrote:
> Maybe this is a version of William Harrison's DebugT monad with
> rollback, listed in his periodic table of effects?
> http://www.cs.missouri.edu/~harrisonwl/Presentations/UIUCFM05.ppt
> I've never seen a definition of the monad itself...
> http://www.haskell.org/pipermail/beginners/2010-January/003371.html

More information about the Haskell-Cafe mailing list