conf.researchr.org / Nicholas Coltharp
Registered user since Sun 19 Jan 2025
Name:Nicholas Coltharp
Country:United States
Affiliation:Portland State University
GitHub: https://github.com/heraplem
Contributions
2024
ICFP
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the Artifact Evaluation-track
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the ICFP Papers and Events-track