Nicholas Coltharp, Steven Libby, Laura Israel, Yao Li 0004. Unifying Hindsight and Foresight - Lazy Cost Analysis as Functional Logic Programming. In Michael Sperber, Ekaterina Komendantskaya, editors, Functional and Logic Programming - 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings. Volume 16533 of Lecture Notes in Computer Science, pages 118-138, Springer, 2026. [doi]
@inproceedings{ColtharpLIL26,
title = {Unifying Hindsight and Foresight - Lazy Cost Analysis as Functional Logic Programming},
author = {Nicholas Coltharp and Steven Libby and Laura Israel and Yao Li 0004},
year = {2026},
doi = {10.1007/978-981-92-0184-6_5},
url = {https://doi.org/10.1007/978-981-92-0184-6_5},
researchr = {https://researchr.org/publication/ColtharpLIL26},
cites = {0},
citedby = {0},
pages = {118-138},
booktitle = {Functional and Logic Programming - 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings},
editor = {Michael Sperber and Ekaterina Komendantskaya},
volume = {16533},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-981-92-0184-6},
}