Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Article in Proceedings of the ACM on Programming Languages (August 2024)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Proceedings of the ACM on Programming Languages (August 2024)
Preprint in arXiv (June 2024)
Book chapter (November 2021)