Sorting with Bialgebras and Distributive Laws, 2012, Hinze et al.

cs.ox.ac.uksite

from

Recursion Schemes

added

2026-10-10

likes

0

similar

1. ▲
   Understanding Algebras schoolofhaskell.com

   site category #recursion-schemes link ↗
2. ▲
   A Duality of Sorts, 2013, Hinze et al. cs.ox.ac.uk

   site category #recursion-schemes link ↗
3. ▲
   Multi-Theorem Preprocessing NIZKs from Lattices link.springer.com

   site category #crypto-papers link ↗
   
4. ▲
   Relation Algebra github.com

   tool category #coq link ↗

   Modular formalization of algebras with heterogeneous binary relations as models.

   
5. ▲
   Hahn github.com

   tool category #coq link ↗

   Library for reasoning on lists and binary relations.

   
6. ▲
   Programming with algebras youtube.com

   video category #recursion-schemes link ↗
   

Recursion Schemes › Papers: “Shows how paramorphisms and apomorphisms can be used for more efficient implementations of sorting algorithms.”