Decorated proofs for computational effects: Exceptions. Dumas, J., Duval, D., Fousse, L., & Reynaud, J. CoRR, 2012. Link Paper bibtex @article{journals/corr/abs-1203-2900,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Dumas, Jean-Guillaume and Duval, Dominique and Fousse, Laurent and Reynaud, Jean-Claude},
biburl = {https://www.bibsonomy.org/bibtex/2bf37dff16433e3360d07b53475fe6d5f/dblp},
ee = {http://arxiv.org/abs/1203.2900},
interhash = {3885a8bf4531b0e7c7eeb4f6cdaf8d6a},
intrahash = {bf37dff16433e3360d07b53475fe6d5f},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T12:31:48.000+0200},
title = {Decorated proofs for computational effects: Exceptions},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-2900},
volume = {abs/1203.2900},
year = 2012
}
Downloads: 0
{"_id":"xv33MxfG5TEHFbZrL","bibbaseid":"dumas-duval-fousse-reynaud-decoratedproofsforcomputationaleffectsexceptions-2012","author_short":["Dumas, J.","Duval, D.","Fousse, L.","Reynaud, J."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00: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/2bf37dff16433e3360d07b53475fe6d5f/dblp","ee":"http://arxiv.org/abs/1203.2900","interhash":"3885a8bf4531b0e7c7eeb4f6cdaf8d6a","intrahash":"bf37dff16433e3360d07b53475fe6d5f","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T12:31:48.000+0200","title":"Decorated proofs for computational effects: Exceptions","url":"http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-2900","volume":"abs/1203.2900","year":"2012","bibtex":"@article{journals/corr/abs-1203-2900,\n added-at = {2018-08-13T00: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/2bf37dff16433e3360d07b53475fe6d5f/dblp},\n ee = {http://arxiv.org/abs/1203.2900},\n interhash = {3885a8bf4531b0e7c7eeb4f6cdaf8d6a},\n intrahash = {bf37dff16433e3360d07b53475fe6d5f},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T12:31:48.000+0200},\n title = {Decorated proofs for computational effects: Exceptions},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-2900},\n volume = {abs/1203.2900},\n year = 2012\n}\n\n","author_short":["Dumas, J.","Duval, D.","Fousse, L.","Reynaud, J."],"key":"journals/corr/abs-1203-2900","id":"journals/corr/abs-1203-2900","bibbaseid":"dumas-duval-fousse-reynaud-decoratedproofsforcomputationaleffectsexceptions-2012","role":"author","urls":{"Link":"http://arxiv.org/abs/1203.2900","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-2900"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Dumas?items=1000","dataSources":["gzytHe9CAy6apLxQh"],"keywords":["dblp"],"search_terms":["decorated","proofs","computational","effects","exceptions","dumas","duval","fousse","reynaud"],"title":"Decorated proofs for computational effects: Exceptions","year":2012}