A compositional theory for STM Haskell.

Johannes Borgstrm, Karthikeyan Bhargavan, Andrew D. Gordon

Browse the full HASKELL paper archive.