@inproceedings{journals/corr/abs-1112-2396,
  added-at = {2018-09-12T00:00:00.000+0200},
  author = {Dumas, Jean-Guillaume and Duval, Dominique and Fousse, Laurent and Reynaud, Jean-Claude},
  biburl = {https://www.bibsonomy.org/bibtex/266d78cb72b0302521a9936e94ec8a877/dblp},
  booktitle = {ACCAT},
  crossref = {journals/corr/abs-1208-4301},
  editor = {Golas, Ulrike and Soboll, Thomas},
  ee = {http://arxiv.org/abs/1112.2396},
  interhash = {da33babbe534812f5a2faaf4c3c403ae},
  intrahash = {66d78cb72b0302521a9936e94ec8a877},
  keywords = {dblp},
  pages = {45-59},
  series = {EPTCS},
  timestamp = {2018-09-13T11:40:42.000+0200},
  title = {Decorated proofs for computational effects: States},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs93.html#abs-1112-2396},
  volume = 93,
  year = 2012
}

{"_id":"y4jb3RmEB45ta5T8e","bibbaseid":"dumas-duval-fousse-reynaud-decoratedproofsforcomputationaleffectsstates-2012","author_short":["Dumas, J.","Duval, D.","Fousse, L.","Reynaud, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-09-12T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Dumas"],"firstnames":["Jean-Guillaume"],"suffixes":[]},{"propositions":[],"lastnames":["Duval"],"firstnames":["Dominique"],"suffixes":[]},{"propositions":[],"lastnames":["Fousse"],"firstnames":["Laurent"],"suffixes":[]},{"propositions":[],"lastnames":["Reynaud"],"firstnames":["Jean-Claude"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/266d78cb72b0302521a9936e94ec8a877/dblp","booktitle":"ACCAT","crossref":"journals/corr/abs-1208-4301","editor":[{"propositions":[],"lastnames":["Golas"],"firstnames":["Ulrike"],"suffixes":[]},{"propositions":[],"lastnames":["Soboll"],"firstnames":["Thomas"],"suffixes":[]}],"ee":"http://arxiv.org/abs/1112.2396","interhash":"da33babbe534812f5a2faaf4c3c403ae","intrahash":"66d78cb72b0302521a9936e94ec8a877","keywords":"dblp","pages":"45-59","series":"EPTCS","timestamp":"2018-09-13T11:40:42.000+0200","title":"Decorated proofs for computational effects: States","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs93.html#abs-1112-2396","volume":"93","year":"2012","bibtex":"@inproceedings{journals/corr/abs-1112-2396,\n added-at = {2018-09-12T00:00:00.000+0200},\n author = {Dumas, Jean-Guillaume and Duval, Dominique and Fousse, Laurent and Reynaud, Jean-Claude},\n biburl = {https://www.bibsonomy.org/bibtex/266d78cb72b0302521a9936e94ec8a877/dblp},\n booktitle = {ACCAT},\n crossref = {journals/corr/abs-1208-4301},\n editor = {Golas, Ulrike and Soboll, Thomas},\n ee = {http://arxiv.org/abs/1112.2396},\n interhash = {da33babbe534812f5a2faaf4c3c403ae},\n intrahash = {66d78cb72b0302521a9936e94ec8a877},\n keywords = {dblp},\n pages = {45-59},\n series = {EPTCS},\n timestamp = {2018-09-13T11:40:42.000+0200},\n title = {Decorated proofs for computational effects: States},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs93.html#abs-1112-2396},\n volume = 93,\n year = 2012\n}\n\n","author_short":["Dumas, J.","Duval, D.","Fousse, L.","Reynaud, J."],"editor_short":["Golas, U.","Soboll, T."],"key":"journals/corr/abs-1112-2396","id":"journals/corr/abs-1112-2396","bibbaseid":"dumas-duval-fousse-reynaud-decoratedproofsforcomputationaleffectsstates-2012","role":"author","urls":{"Link":"http://arxiv.org/abs/1112.2396","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs93.html#abs-1112-2396"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Dumas?items=1000","dataSources":["gzytHe9CAy6apLxQh"],"keywords":["dblp"],"search_terms":["decorated","proofs","computational","effects","states","dumas","duval","fousse","reynaud"],"title":"Decorated proofs for computational effects: States","year":2012}