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]
Abstract is missing.