Supporting code for WGP ’12 paper: Sorting with Bialgebras and Distributive Laws
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

Supporting code for:

Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu and José Pedro Magalhães. Sorting with Bialgebras and Distributive Laws. In Workshop on Generic programming, Sept. 9, 2012, Copenhagen, Denmark.

  • original code in Monomorphic/
  • polymorphic variant in Polymorphic/