@article{ dblp4472767,
  title = {A Type System for Bounded Space and Functional In-Place Update},
  author = {Martin Hofmann 0001},
  author_short = {Hofmann 0001, M.},
  bibtype = {article},
  type = {article},
  year = {2000},
  key = {dblp4472767},
  id = {dblp4472767},
  biburl = {http://www.dblp.org/rec/bibtex/journals/njc/Hofmann00},
  url = {},
  journal = {Nord. J. Comput. (NJC)},
  pages = {258-289},
  number = {4},
  volume = {7},
  text = {Nord. J. Comput. (NJC) 7(4):258-289 (2000)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f25"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-atypesystemforboundedspaceandfunctionalinplaceupdate-2000","bibdata":{"title":"A Type System for Bounded Space and Functional In-Place Update","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"article","type":"article","year":"2000","key":"dblp4472767","id":"dblp4472767","biburl":"http://www.dblp.org/rec/bibtex/journals/njc/Hofmann00","url":"","journal":"Nord. J. Comput. (NJC)","pages":"258-289","number":"4","volume":"7","text":"Nord. J. Comput. (NJC) 7(4):258-289 (2000)","bibtex":"@article{ dblp4472767,\n title = {A Type System for Bounded Space and Functional In-Place Update},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {article},\n type = {article},\n year = {2000},\n key = {dblp4472767},\n id = {dblp4472767},\n biburl = {http://www.dblp.org/rec/bibtex/journals/njc/Hofmann00},\n url = {},\n journal = {Nord. J. Comput. (NJC)},\n pages = {258-289},\n number = {4},\n volume = {7},\n text = {Nord. J. Comput. (NJC) 7(4):258-289 (2000)}\n}","bibbaseid":"hofmann0001-atypesystemforboundedspaceandfunctionalinplaceupdate-2000","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/njc/Hofmann00","downloads":0,"keywords":[],"search_terms":["type","system","bounded","space","functional","place","update","hofmann 0001"],"title":"A Type System for Bounded Space and Functional In-Place Update","year":2000,"dataSources":["4ZFrehqeKPDTS4BPZ"]}