Arnar Birgisson, Úlfar Erlingsson. An implementation and semantics for transactional memory introspection in Haskell. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 87-99, ACM, 2009. [doi]
Abstract is missing.