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},
  ee        = {http://doi.acm.org/10.1145/1596638.1596648},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser