ICFP Paper—Algebras for Weighted Search

Posted on June 21, 2021
Tags: Haskell, Agda

The paper “Algebras for Weighted Search” has just been accepted unconditionally to ICFP. I wrote it with my supervisor, Nicolas Wu, and it covers a lot of the topics I’ve written about on this blog (including hyperfunctions and breadth-first traversals).

The preprint is available here.