%0 Journal Article %1 journals/pacmpl/RajaniG0021 %A Rajani, Vineet %A Gaboardi, Marco %A Garg, Deepak %A Hoffmann, Jan %D 2021 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-28 %T A unifying type-theory for higher-order (amortized) cost analysis. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#RajaniG0021 %V 5

@article{journals/pacmpl/RajaniG0021, added-at = {2022-01-08T00:00:00.000+0100}, author = {Rajani, Vineet and Gaboardi, Marco and Garg, Deepak and Hoffmann, Jan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b71bb1fc9ae837d987cbbf07b0fdfd0/dblp}, ee = {https://doi.org/10.1145/3434308}, interhash = {e11e919836f5ccf16ebf56837f320bdb}, intrahash = {7b71bb1fc9ae837d987cbbf07b0fdfd0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-28}, timestamp = {2022-03-01T06:21:01.000+0100}, title = {A unifying type-theory for higher-order (amortized) cost analysis.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#RajaniG0021}, volume = 5, year = 2021 }