@proceedings{ dblp3551934,
  title = {Types, Logics and Semantics for State, 03.02. - 08.02.2008},
  author = {Amal Ahmed and Nick Benton and Martin Hofmann 0001 and Greg Morrisett},
  author_short = {Ahmed, A. and Benton, N. and Hofmann 0001, M. and Morrisett, G.},
  bibtype = {proceedings},
  type = {proceedings},
  year = {2008},
  key = {dblp3551934},
  id = {dblp3551934},
  biburl = {http://www.dblp.org/rec/bibtex/conf/dagstuhl/2008P8061},
  url = {http://drops.dagstuhl.de/portals/08061/},
  conference = {Types, Logics and Semantics for State},
  text = {Types, Logics and Semantics for State 2008},
  booktitle = {Proceedings of Types, Logics and Semantics for State}
}

{"_id":{"_str":"52a3062f9eb585cc26001f32"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Ahmed, A.","Benton, N.","Hofmann 0001, M.","Morrisett, G."],"bibbaseid":"ahmed-benton-hofmann0001-morrisett-typeslogicsandsemanticsforstate030208022008-2008","bibdata":{"title":"Types, Logics and Semantics for State, 03.02. - 08.02.2008","author":["Amal Ahmed","Nick Benton","Martin Hofmann 0001","Greg Morrisett"],"author_short":["Ahmed, A.","Benton, N.","Hofmann 0001, M.","Morrisett, G."],"bibtype":"proceedings","type":"proceedings","year":"2008","key":"dblp3551934","id":"dblp3551934","biburl":"http://www.dblp.org/rec/bibtex/conf/dagstuhl/2008P8061","url":"http://drops.dagstuhl.de/portals/08061/","conference":"Types, Logics and Semantics for State","text":"Types, Logics and Semantics for State 2008","booktitle":"Proceedings of Types, Logics and Semantics for State","bibtex":"@proceedings{ dblp3551934,\n title = {Types, Logics and Semantics for State, 03.02. - 08.02.2008},\n author = {Amal Ahmed and Nick Benton and Martin Hofmann 0001 and Greg Morrisett},\n author_short = {Ahmed, A. and Benton, N. and Hofmann 0001, M. and Morrisett, G.},\n bibtype = {proceedings},\n type = {proceedings},\n year = {2008},\n key = {dblp3551934},\n id = {dblp3551934},\n biburl = {http://www.dblp.org/rec/bibtex/conf/dagstuhl/2008P8061},\n url = {http://drops.dagstuhl.de/portals/08061/},\n conference = {Types, Logics and Semantics for State},\n text = {Types, Logics and Semantics for State 2008},\n booktitle = {Proceedings of Types, Logics and Semantics for State}\n}","bibbaseid":"ahmed-benton-hofmann0001-morrisett-typeslogicsandsemanticsforstate030208022008-2008","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/portals/08061/"},"downloads":0},"bibtype":"proceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/dagstuhl/2008P8061","downloads":0,"keywords":[],"search_terms":["types","logics","semantics","state","2008","ahmed","benton","hofmann 0001","morrisett"],"title":"Types, Logics and Semantics for State, 03.02. - 08.02.2008","year":2008,"dataSources":["o54hxxxZmjT7LC96F"]}