A compositional theory for STM Haskell (bibtex)
by Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon
Reference:
A compositional theory for STM Haskell (Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon), In 2nd ACM SIGPLAN Symposium on Haskell, 2009.
Bibtex Entry:
@inproceedings{BorgstromBG09,
  author    = {Johannes Borgstr{\"o}m and
               Karthikeyan Bhargavan and
               Andrew D. Gordon},
  title     = {A compositional theory for {STM} Haskell},
  booktitle = {2nd ACM SIGPLAN Symposium on Haskell},
  year      = {2009},
  pages     = {69-80},
pdf="pubs/compositional-theory-of-stm-haskell-haskell09.pdf",
url="pubs/compositional-theory-of-stm-haskell-haskell09.pdf",
}