1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Fast Collection Operations from Indexed Stream Fusion
Scott Kovach, Praneeth Kolichala, Kyle A. Miller +2
We present a system of efficient methods for traversing and combining associative collection data structures. A distinguishing feature of the system is that, like traditional seque…
cs.PL2022★ 1 cited
Correct Compilation of Semiring Contractions
Scott Kovach, Fredrik Kjolstad
We introduce a formal operational semantics that describes the fused execution of variable contraction problems, which compute indexed arithmetic over a semiring and generalize spa…