%0 Journal Article %1 journals/pacmpl/HandleyVH20 %A Handley, Martin A. T. %A Vazou, Niki %A Hutton, Graham %D 2020 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 24:1-24:27 %T Liquidate your assets: reasoning about resource usage in liquid Haskell. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#HandleyVH20 %V 4

@article{journals/pacmpl/HandleyVH20, added-at = {2023-03-21T00:00:00.000+0100}, author = {Handley, Martin A. T. and Vazou, Niki and Hutton, Graham}, biburl = {https://www.bibsonomy.org/bibtex/21ca409440bfe6b1dfa6bd08b5d1d1bac/dblp}, ee = {https://doi.org/10.1145/3371092}, interhash = {79801d49a7d954610a9ab3c10ad1fbc0}, intrahash = {1ca409440bfe6b1dfa6bd08b5d1d1bac}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {24:1-24:27}, timestamp = {2024-04-08T09:54:02.000+0200}, title = {Liquidate your assets: reasoning about resource usage in liquid Haskell.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#HandleyVH20}, volume = 4, year = 2020 }