BibTeX Entry |
@inproceedings{birgisson:implementation:plas:2009, author = {Birgisson, Arnar and Erlingsson, \'{U}lfar}, title = {An implementation and semantics for transactional memory introspection in {H}askell}, booktitle = {PLAS~'09: Proc. 4th Workshop on Programming Languages and Analysis for Security}, urlpage = {http://doi.acm.org/10.1145/1554339.1554350}, pdf = {http://www.hvergi.net/arnar/public/papers/plas09.pdf}, pages = {87--99}, year = {2009}, month = {jun}, }