An implementation and semantics for transactional memory introspection in Haskell.

Arnar Birgisson, lfar Erlingsson

Browse the full PLDI paper archive.