@inproceedings{JouvelotGifford91,
  author = {P. Jouvelot and D. K. Gifford},
  title = {Algebraic {R}econstruction of {T}ypes and {E}ffects},
  booktitle = {{Proceedings of the 18th ACM Symposium on Principles
                  of Programming Languages}},
  month = {January},
  year = 1991,
  pages = {303--310},
  publisher = {ACM}
}

{"_id":"7mi7z88HJot5TEAY2","bibbaseid":"jouvelot-gifford-algebraicreconstructionoftypesandeffects-1991","downloads":0,"creationDate":"2016-02-08T21:26:15.789Z","title":"Algebraic Reconstruction of Types and Effects","author_short":["Jouvelot, P.","Gifford, D. K."],"year":1991,"bibtype":"inproceedings","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Jouvelot"],"suffixes":[]},{"firstnames":["D.","K."],"propositions":[],"lastnames":["Gifford"],"suffixes":[]}],"title":"Algebraic Reconstruction of Types and Effects","booktitle":"Proceedings of the 18th ACM Symposium on Principles of Programming Languages","month":"January","year":"1991","pages":"303--310","publisher":"ACM","bibtex":"@inproceedings{JouvelotGifford91,\r\n author = {P. Jouvelot and D. K. Gifford},\r\n title = {Algebraic {R}econstruction of {T}ypes and {E}ffects},\r\n booktitle = {{Proceedings of the 18th ACM Symposium on Principles\r\n of Programming Languages}},\r\n month = {January},\r\n year = 1991,\r\n pages = {303--310},\r\n publisher = {ACM}\r\n}\r\n\r\n","author_short":["Jouvelot, P.","Gifford, D. K."],"key":"JouvelotGifford91","id":"JouvelotGifford91","bibbaseid":"jouvelot-gifford-algebraicreconstructionoftypesandeffects-1991","role":"author","urls":{},"downloads":0},"search_terms":["algebraic","reconstruction","types","effects","jouvelot","gifford"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}