Nicholas Coltharp

Orcid: 0000-0002-4832-7016

According to our database¹, Nicholas Coltharp authored at least 2 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Unifying Hindsight and Foresight - Lazy Cost Analysis as Functional Logic Programming.

[DOI]

Proceedings of the Functional and Logic Programming - 18th International Symposium, 2026

2024

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.

[DOI]

Proc. ACM Program. Lang., 2024