bibliography.bib

@inproceedings{MiculanPT15,
  author    = {Marino Miculan and Marco Peressotti and Andrea Toneguzzo},
  title     = {{Open Transactions on Shared Memory}},
  booktitle = {
    {Proceedings of the 10th Conference on Coordination Models and Languages}
  },
  pages     = {213--229},
  year      = {2015},
  doi       = {10.1007/978-3-319-19282-6_14}
}

@mastersthesis{Toneguzzo,
  author = {Toneguzzo, Andrea},
  title = {Memorie Transazionali Aperte Componibili: Semantica Formale e Implementazione in Haskell},
  year = {2015}
}

@MISC{Marlow_haskell2010,
    author = {Simon Marlow},
    title = {Haskell 2010 Language Report},
    year = {2010},
    url = {https://www.haskell.org/onlinereport/haskell2010/}
}

@inproceedings{PeytonJones:1993:IFP:158511.158524,
 author = {Peyton Jones, Simon L. and Wadler, Philip},
 title = {Imperative Functional Programming},
 booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 year = {1993},
 pages = {71--84},
 url = {http://doi.acm.org/10.1145/158511.158524},
 doi = {10.1145/158511.158524},
}

@Article {export:67083,
author       = {Peyton Jones},
journal      = {Journal of Functional Programming},
month        = {April},
number       = {2},
publisher    = {Cambridge University Press},
title        = {Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless
                G-machine},
url          = {http://research.microsoft.com/apps/pubs/default.aspx?id=67083},
volume       = {2},
year         = {1992},
}

@Inbook{Chakravarty2000,
author="Chakravarty, Manuel M. T.",
chapter="C $\longrightarrow$ HASKELL, or Yet Another Interfacing Tool",
title="Implementation of Functional Languages: 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers",
year="2000",
pages="131--148",
doi="10.1007/10722298_8"
}

@INPROCEEDINGS{Anderson94wait-freeparallel,
    author = {Richard J. Anderson and Heather Woll},
    title = {Wait-free Parallel Algorithms for the Union-Find Problem},
    booktitle = {In Proc. 23rd ACM Symposium on Theory of Computing},
    year = {1994},
    pages = {370--380}
}

@inproceedings{Harris:2005:CMT:1065944.1065952,
 author = {Harris, Tim and Marlow, Simon and Peyton-Jones, Simon and Herlihy, Maurice},
 title = {Composable Memory Transactions},
 booktitle = {Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
 series = {PPoPP '05},
 year = {2005},
 pages = {48--60},
 doi = {10.1145/1065944.1065952}
}

@ARTICLE{OpenTransactionsSpec,
   author = {{Miculan}, M. and {Peressotti}, M.},
    title = "{A Specification of Open Transactional Memory for Haskell}",
  journal = {ArXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1602.05365},
 primaryClass = "cs.PL",
 keywords = {Computer Science - Programming Languages},
     year = 2016,
    month = feb,
   adsurl = {http://adsabs.harvard.edu/abs/2016arXiv160205365M},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@inproceedings{moss:transactionalmemorybook,
  Author = {Maurice Herlihy and Moss, J. Eliot B.},
  Bibsource = {dblp computer science bibliography, http://dblp.org},
  Biburl = {http://dblp.uni-trier.de/rec/bib/conf/isca/HerlihyM93},
  Booktitle = {Proceedings of the 20th Annual International Symposium on Computer Architecture. San Diego, CA, May 1993},
  Doi = {10.1145/165123.165164},
  Editor = {Alan Jay Smith},
  Pages = {289--300},
  Publisher = {{ACM}},
  Timestamp = {Thu, 16 Oct 2014 17:35:16 +0200},
  Title = {Transactional Memory: Architectural Support for Lock-Free Data Structures},
  Url = {http://doi.acm.org/10.1145/165123.165164},
  Year = 1993,
  Bdsk-Url-1 = {http://doi.acm.org/10.1145/165123.165164}
}
@article{st:dc1997,
  Author = {Nir Shavit and Dan Touitou},
  Bibsource = {dblp computer science bibliography, http://dblp.org},
  Biburl = {http://dblp.uni-trier.de/rec/bib/journals/dc/ShavitT97},
  Doi = {10.1007/s004460050028},
  Journal = {Distributed Computing},
  Number = {2},
  Pages = {99--116},
  Timestamp = {Tue, 24 May 2011 14:19:46 +0200},
  Title = {Software Transactional Memory},
  Url = {http://dx.doi.org/10.1007/s004460050028},
  Volume = {10},
  Year = {1997},
  Bdsk-Url-1 = {http://dx.doi.org/10.1007/s004460050028}}

@inproceedings{gk:ppopp08,
  Acmid = {1345233},
  Address = {New York, NY, USA},
  Author = {Guerraoui, Rachid and Kapalka, Michal},
  Booktitle = {Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
  Doi = {10.1145/1345206.1345233},
  Isbn = {978-1-59593-795-7},
  Keywords = {correctness, lower bound, model, transactional memory},
  Location = {Salt Lake City, UT, USA},
  Numpages = {10},
  Pages = {175--184},
  Publisher = {ACM},
  Series = {PPoPP '08},
  Title = {On the Correctness of Transactional Memory},
  Url = {http://doi.acm.org/10.1145/1345206.1345233},
  Year = {2008},
  Bdsk-Url-1 = {http://doi.acm.org/10.1145/1345206.1345233},
  Bdsk-Url-2 = {http://dx.doi.org/10.1145/1345206.1345233}}