Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. - Li-yao Xia; Laura Israel; Maite Kramarz; Nicholas Coltharp; Koen Claessen; Stephanie Weirich; Yao Li 004 (Proc. ACM Program. Lang., 2024)