%0 Journal Article %1 journals/pacmpl/QuG019 %A Qu, Weihao %A Gaboardi, Marco %A Garg, Deepak %D 2019 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 92:1-92:29 %T Relational cost analysis for functional-imperative programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#QuG019 %V 3

@article{journals/pacmpl/QuG019, added-at = {2021-02-17T00:00:00.000+0100}, author = {Qu, Weihao and Gaboardi, Marco and Garg, Deepak}, biburl = {https://www.bibsonomy.org/bibtex/27d1e7544ea7800a3b90f1d10a5565f20/dblp}, ee = {https://doi.org/10.1145/3341696}, interhash = {a72c027915ff9f44887ac1c069164f13}, intrahash = {7d1e7544ea7800a3b90f1d10a5565f20}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {92:1-92:29}, timestamp = {2024-04-08T09:54:41.000+0200}, title = {Relational cost analysis for functional-imperative programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#QuG019}, volume = 3, year = 2019 }