Citazione Stile APA (7a Edizione)

Xia, L., Israel, L., Kramarz, M., Coltharp, N., Claessen, K., Weirich, S., & Li, Y. (2024). Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

Xia, Li-yao, et al. Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. 2024.