ICFP Paper—Algebras for Weighted Search
Posted on June 21, 2021
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.