%0 Conference Paper %1 conf/popl/HoffmannDW17 %A Hoffmann, Jan %A Das, Ankush %A Weng, Shu-Chun %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K %P 359-373 %T Towards automatic resource bound analysis for OCaml. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#HoffmannDW17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/HoffmannDW17, added-at = {2023-12-13T00:01:16.000+0100}, author = {Hoffmann, Jan and Das, Ankush and Weng, Shu-Chun}, biburl = {https://www.bibsonomy.org/bibtex/28ca174e326e6029ae2897b4f96b7b0cf/admin}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {http://dl.acm.org/citation.cfm?id=3009842}, interhash = {5da76c71ea9c859b44bd48610ff88e67}, intrahash = {8ca174e326e6029ae2897b4f96b7b0cf}, isbn = {978-1-4503-4660-3}, keywords = {}, pages = {359-373}, publisher = {ACM}, timestamp = {2023-12-13T00:01:16.000+0100}, title = {Towards automatic resource bound analysis for OCaml.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#HoffmannDW17}, year = 2017 }