A Unifying Type-Theoretic Framework for Objects. Hofmann 0001, M. & Pierce, B. C. In Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS), pages 251-262, 1994.
Paper bibtex @inproceedings{ dblp4773593,
title = {A Unifying Type-Theoretic Framework for Objects},
author = {Martin Hofmann 0001 and Benjamin C. Pierce},
author_short = {Hofmann 0001, M. and Pierce, B. C.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1994},
key = {dblp4773593},
id = {dblp4773593},
biburl = {http://www.dblp.org/rec/bibtex/conf/stacs/HofmannP94},
url = {http://dx.doi.org/10.1007/3-540-57785-8_146},
conference = {STACS},
pages = {251-262},
text = {STACS 1994:251-262},
booktitle = {Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f40"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Pierce, B. C."],"bibbaseid":"hofmann0001-pierce-aunifyingtypetheoreticframeworkforobjects-1994","bibdata":{"title":"A Unifying Type-Theoretic Framework for Objects","author":["Martin Hofmann 0001","Benjamin C. Pierce"],"author_short":["Hofmann 0001, M.","Pierce, B. C."],"bibtype":"inproceedings","type":"inproceedings","year":"1994","key":"dblp4773593","id":"dblp4773593","biburl":"http://www.dblp.org/rec/bibtex/conf/stacs/HofmannP94","url":"http://dx.doi.org/10.1007/3-540-57785-8_146","conference":"STACS","pages":"251-262","text":"STACS 1994:251-262","booktitle":"Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS)","bibtex":"@inproceedings{ dblp4773593,\n title = {A Unifying Type-Theoretic Framework for Objects},\n author = {Martin Hofmann 0001 and Benjamin C. Pierce},\n author_short = {Hofmann 0001, M. and Pierce, B. C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1994},\n key = {dblp4773593},\n id = {dblp4773593},\n biburl = {http://www.dblp.org/rec/bibtex/conf/stacs/HofmannP94},\n url = {http://dx.doi.org/10.1007/3-540-57785-8_146},\n conference = {STACS},\n pages = {251-262},\n text = {STACS 1994:251-262},\n booktitle = {Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS)}\n}","bibbaseid":"hofmann0001-pierce-aunifyingtypetheoreticframeworkforobjects-1994","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-57785-8_146"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/stacs/HofmannP94","downloads":0,"keywords":[],"search_terms":["unifying","type","theoretic","framework","objects","hofmann 0001","pierce"],"title":"A Unifying Type-Theoretic Framework for Objects","year":1994,"dataSources":["9YyYDBWW582dQQzkL"]}