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.