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

Nicholas Coltharp, Steven Libby, Laura Israel, Yao Li

Browse the full FLOPS paper archive.