@inproceedings{ dblp3138757,
  title = {Static determination of quantitative resource usage for higher-order programs},
  author = {Steffen Jost and Kevin Hammond and Hans-Wolfgang Loidl and Martin Hofmann 0001},
  author_short = {Jost, S. and Hammond, K. and Loidl, H. and Hofmann 0001, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp3138757},
  id = {dblp3138757},
  biburl = {http://www.dblp.org/rec/bibtex/conf/popl/JostHLH10},
  url = {http://doi.acm.org/10.1145/1706299.1706327},
  conference = {POPL},
  pages = {223-236},
  text = {POPL 2010:223-236},
  booktitle = {Proceedings of Symposium on Principles of Programming Languages (POPL)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f2f"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Jost, S.","Hammond, K.","Loidl, H.","Hofmann 0001, M."],"bibbaseid":"jost-hammond-loidl-hofmann0001-staticdeterminationofquantitativeresourceusageforhigherorderprograms-2010","bibdata":{"title":"Static determination of quantitative resource usage for higher-order programs","author":["Steffen Jost","Kevin Hammond","Hans-Wolfgang Loidl","Martin Hofmann 0001"],"author_short":["Jost, S.","Hammond, K.","Loidl, H.","Hofmann 0001, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2010","key":"dblp3138757","id":"dblp3138757","biburl":"http://www.dblp.org/rec/bibtex/conf/popl/JostHLH10","url":"http://doi.acm.org/10.1145/1706299.1706327","conference":"POPL","pages":"223-236","text":"POPL 2010:223-236","booktitle":"Proceedings of Symposium on Principles of Programming Languages (POPL)","bibtex":"@inproceedings{ dblp3138757,\n title = {Static determination of quantitative resource usage for higher-order programs},\n author = {Steffen Jost and Kevin Hammond and Hans-Wolfgang Loidl and Martin Hofmann 0001},\n author_short = {Jost, S. and Hammond, K. and Loidl, H. and Hofmann 0001, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp3138757},\n id = {dblp3138757},\n biburl = {http://www.dblp.org/rec/bibtex/conf/popl/JostHLH10},\n url = {http://doi.acm.org/10.1145/1706299.1706327},\n conference = {POPL},\n pages = {223-236},\n text = {POPL 2010:223-236},\n booktitle = {Proceedings of Symposium on Principles of Programming Languages (POPL)}\n}","bibbaseid":"jost-hammond-loidl-hofmann0001-staticdeterminationofquantitativeresourceusageforhigherorderprograms-2010","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/1706299.1706327"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/popl/JostHLH10","downloads":0,"keywords":[],"search_terms":["static","determination","quantitative","resource","usage","higher","order","programs","jost","hammond","loidl","hofmann 0001"],"title":"Static determination of quantitative resource usage for higher-order programs","year":2010,"dataSources":["EdjvDkCfwYsRvQ7h5"]}