1 citations · 1 across the 1 of their papers we have counts for
1 paper
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot +1
The paper "Sorting with Bialgebras and Distributive Laws" by Hinze et al. uses the framework of bialgebraic semantics to define sorting algorithms. From distributive laws between f…