User-level transactional programming in Haskell

To quotes from the LTU poster:

I thought this was an interesting paper because it gives a concrete example of a case where you want transactions, but positively don’t want the full suite of ACID properties.