There is also recent work by Aaron Turon and Olin Shivers - Modular Rollback through Control Logging
http://www.ccs.neu.edu/home/shivers/ http://www.ccs.neu.edu/home/turon/ 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 McBride... On 28 March 2012 18:11, Stephen Tetley <[email protected]> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
