%0 Conference Paper %1 conf/popl/CicekBG0H17 %A Çiçek, Ezgi %A Barthe, Gilles %A Gaboardi, Marco %A Garg, Deepak %A Hoffmann, Jan %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K %P 316-329 %T Relational cost analysis. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#CicekBG0H17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/CicekBG0H17, added-at = {2023-12-13T03:37:04.000+0100}, author = {Çiçek, Ezgi and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Hoffmann, Jan}, biburl = {https://www.bibsonomy.org/bibtex/28fe42c30389a89990978176e385fb64e/admin}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {http://dl.acm.org/citation.cfm?id=3009858}, interhash = {8d33bf76692d7333f2a998ac73f9ec65}, intrahash = {8fe42c30389a89990978176e385fb64e}, isbn = {978-1-4503-4660-3}, keywords = {}, pages = {316-329}, publisher = {ACM}, timestamp = {2023-12-13T03:37:04.000+0100}, title = {Relational cost analysis.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#CicekBG0H17}, year = 2017 }