TY  - RPRT
TI  - Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
AU  - Li-yao Xia
AU  - Laura Israel
AU  - Maite Kramarz
AU  - Nicholas Coltharp
AU  - Koen Claessen
AU  - Stephanie Weirich
AU  - Yao Li
PY  - 2024
DO  - 10.1145/3674626
UR  - https://arxiv.org/abs/2406.14787
ID  - 2406.14787
ER  -