Type-Based Amortized Resource Analysis with Integers and Arrays. Hoffmann 0002, J. & Shao, Z. In Proceedings of International Symposium on Functional and Logic Programming (FLOPS), pages 152-168, 2014. Paper bibtex @inproceedings{ dblp1868240,
title = {Type-Based Amortized Resource Analysis with Integers and Arrays},
author = {Jan Hoffmann 0002 and Zhong Shao},
author_short = {Hoffmann 0002, J. and Shao, Z.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2014},
key = {dblp1868240},
id = {dblp1868240},
biburl = {http://www.dblp.org/rec/bibtex/conf/flops/0002S14},
url = {http://dx.doi.org/10.1007/978-3-319-07151-0_10},
conference = {FLOPS},
pages = {152-168},
text = {FLOPS 2014:152-168},
booktitle = {Proceedings of International Symposium on Functional and Logic Programming (FLOPS)}
}
Downloads: 0
{"_id":"vkTvvyHF9Gaqpcujc","bibbaseid":"hoffmann0002-shao-typebasedamortizedresourceanalysiswithintegersandarrays-2014","downloads":0,"creationDate":"2015-10-22T20:42:30.137Z","title":"Type-Based Amortized Resource Analysis with Integers and Arrays","author_short":["Hoffmann 0002, J.","Shao, Z."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/flops/0002S14","bibdata":{"title":"Type-Based Amortized Resource Analysis with Integers and Arrays","author":["Jan Hoffmann 0002","Zhong Shao"],"author_short":["Hoffmann 0002, J.","Shao, Z."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1868240","id":"dblp1868240","biburl":"http://www.dblp.org/rec/bibtex/conf/flops/0002S14","url":"http://dx.doi.org/10.1007/978-3-319-07151-0_10","conference":"FLOPS","pages":"152-168","text":"FLOPS 2014:152-168","booktitle":"Proceedings of International Symposium on Functional and Logic Programming (FLOPS)","bibtex":"@inproceedings{ dblp1868240,\n title = {Type-Based Amortized Resource Analysis with Integers and Arrays},\n author = {Jan Hoffmann 0002 and Zhong Shao},\n author_short = {Hoffmann 0002, J. and Shao, Z.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1868240},\n id = {dblp1868240},\n biburl = {http://www.dblp.org/rec/bibtex/conf/flops/0002S14},\n url = {http://dx.doi.org/10.1007/978-3-319-07151-0_10},\n conference = {FLOPS},\n pages = {152-168},\n text = {FLOPS 2014:152-168},\n booktitle = {Proceedings of International Symposium on Functional and Logic Programming (FLOPS)}\n}","bibbaseid":"hoffmann0002-shao-typebasedamortizedresourceanalysiswithintegersandarrays-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-07151-0_10"},"downloads":0},"search_terms":["type","based","amortized","resource","analysis","integers","arrays","hoffmann 0002","shao"],"keywords":[],"authorIDs":[],"dataSources":["FjnsghWoLW4xMYkvx"]}