Algebraic Reconstruction of Types and Effects. Jouvelot, P. & Gifford, D. K. In *Proceedings of the 18th ACM Symposium on Principles of Programming Languages*, pages 303--310, January, 1991. ACM. bibtex @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}
}

Downloads: 0

{"_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"]}