A Theory of Classes for a Functional Language with Effects. Honsell, F., Mason, I. A., Smith, S. F., & Talcott, C. L. In 1992 Annual Conference of the European Association for Computer Science Logic CSL92, San Miniato, volume 702, of Lecture Notes in Computer Science, pages 309--326, 1992. Springer-Verlag. bibtex @inproceedings{honsell-mason-smith-talcott-92csl,
author = {F. Honsell and I. A. Mason and S. F. Smith and C. L. Talcott},
year = {1992},
title = {{A Theory of Classes for a Functional Language with Effects}},
booktitle = {{1992 Annual Conference of the European Association for
Computer Science Logic CSL92, San Miniato}},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
volume = {702},
pages = {309--326}
}
Downloads: 0
{"_id":"9Cskt7rTtBhjukPp5","bibbaseid":"honsell-mason-smith-talcott-atheoryofclassesforafunctionallanguagewitheffects-1992","downloads":0,"creationDate":"2016-02-08T21:26:15.751Z","title":"A Theory of Classes for a Functional Language with Effects","author_short":["Honsell, F.","Mason, I. A.","Smith, S. F.","Talcott, C. L."],"year":1992,"bibtype":"inproceedings","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["F."],"propositions":[],"lastnames":["Honsell"],"suffixes":[]},{"firstnames":["I.","A."],"propositions":[],"lastnames":["Mason"],"suffixes":[]},{"firstnames":["S.","F."],"propositions":[],"lastnames":["Smith"],"suffixes":[]},{"firstnames":["C.","L."],"propositions":[],"lastnames":["Talcott"],"suffixes":[]}],"year":"1992","title":"A Theory of Classes for a Functional Language with Effects","booktitle":"1992 Annual Conference of the European Association for Computer Science Logic CSL92, San Miniato","series":"Lecture Notes in Computer Science","publisher":"Springer-Verlag","volume":"702","pages":"309--326","bibtex":"@inproceedings{honsell-mason-smith-talcott-92csl,\r\n author = {F. Honsell and I. A. Mason and S. F. Smith and C. L. Talcott},\r\n year = {1992},\r\n title = {{A Theory of Classes for a Functional Language with Effects}},\r\n booktitle = {{1992 Annual Conference of the European Association for\r\n Computer Science Logic CSL92, San Miniato}},\r\n series = {Lecture Notes in Computer Science},\r\n publisher = {Springer-Verlag},\r\n volume = {702},\r\n pages = {309--326}\r\n}\r\n\r\n","author_short":["Honsell, F.","Mason, I. A.","Smith, S. F.","Talcott, C. L."],"key":"honsell-mason-smith-talcott-92csl","id":"honsell-mason-smith-talcott-92csl","bibbaseid":"honsell-mason-smith-talcott-atheoryofclassesforafunctionallanguagewitheffects-1992","role":"author","urls":{},"downloads":0},"search_terms":["theory","classes","functional","language","effects","honsell","mason","smith","talcott"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}