A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. Hofmann 0001, M. In Proceedings of European Symposium on Programming (ESOP), pages 165-179, 2000. ![A Type System for Bounded Space and Functional In-Place Update--Extended Abstract [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp4436499,
title = {A Type System for Bounded Space and Functional In-Place Update--Extended Abstract},
author = {Martin Hofmann 0001},
author_short = {Hofmann 0001, M.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2000},
key = {dblp4436499},
id = {dblp4436499},
biburl = {http://www.dblp.org/rec/bibtex/conf/esop/Hofmann00},
url = {http://dx.doi.org/10.1007/3-540-46425-5_11},
conference = {ESOP},
pages = {165-179},
text = {ESOP 2000:165-179},
booktitle = {Proceedings of European Symposium on Programming (ESOP)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f14"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-atypesystemforboundedspaceandfunctionalinplaceupdateextendedabstract-2000","bibdata":{"title":"A Type System for Bounded Space and Functional In-Place Update--Extended Abstract","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2000","key":"dblp4436499","id":"dblp4436499","biburl":"http://www.dblp.org/rec/bibtex/conf/esop/Hofmann00","url":"http://dx.doi.org/10.1007/3-540-46425-5_11","conference":"ESOP","pages":"165-179","text":"ESOP 2000:165-179","booktitle":"Proceedings of European Symposium on Programming (ESOP)","bibtex":"@inproceedings{ dblp4436499,\n title = {A Type System for Bounded Space and Functional In-Place Update--Extended Abstract},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2000},\n key = {dblp4436499},\n id = {dblp4436499},\n biburl = {http://www.dblp.org/rec/bibtex/conf/esop/Hofmann00},\n url = {http://dx.doi.org/10.1007/3-540-46425-5_11},\n conference = {ESOP},\n pages = {165-179},\n text = {ESOP 2000:165-179},\n booktitle = {Proceedings of European Symposium on Programming (ESOP)}\n}","bibbaseid":"hofmann0001-atypesystemforboundedspaceandfunctionalinplaceupdateextendedabstract-2000","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-46425-5_11"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/esop/Hofmann00","downloads":0,"keywords":[],"search_terms":["type","system","bounded","space","functional","place","update","extended","abstract","hofmann 0001"],"title":"A Type System for Bounded Space and Functional In-Place Update--Extended Abstract","year":2000,"dataSources":["zN4cyoAmFdNTYKEGa"]}