%0 Journal Article %1 journals/corr/abs-2406-14787 %A yao Xia, Li %A Israel, Laura %A Kramarz, Maite %A Coltharp, Nicholas %A Claessen, Koen %A Weirich, Stephanie %A Li, Yao %D 2024 %J CoRR %K dblp %T Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr2406.html#abs-2406-14787 %V abs/2406.14787

@article{journals/corr/abs-2406-14787, added-at = {2024-07-16T00:00:00.000+0200}, author = {yao Xia, Li and Israel, Laura and Kramarz, Maite and Coltharp, Nicholas and Claessen, Koen and Weirich, Stephanie and Li, Yao}, biburl = {https://www.bibsonomy.org/bibtex/2569d7a199ebb9adb938dd639dd0adf4b/dblp}, ee = {https://doi.org/10.48550/arXiv.2406.14787}, interhash = {8b41ad439287ec8fb306aeacd2de9184}, intrahash = {569d7a199ebb9adb938dd639dd0adf4b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-07-22T07:10:25.000+0200}, title = {Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2406.html#abs-2406-14787}, volume = {abs/2406.14787}, year = 2024 }