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

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]

Authors

Nicholas Coltharp

This author has not been identified. Look up 'Nicholas Coltharp' in Google

Steven Libby

This author has not been identified. Look up 'Steven Libby' in Google

Laura Israel

This author has not been identified. Look up 'Laura Israel' in Google

Yao Li 0004

This author has not been identified. Look up 'Yao Li 0004' in Google