A Compositional Theory for STM Haskell Johannes Borgstrom, Karthikeyan Bhargavan and Andrew D Gordon
Haskell Symposium Edinburgh 2009 ACM SIGPLAN
Hmm…it looks like things are taking a while to load. Try again?