Sorting with Bialgebras and Distributive Laws

Ralf Hinze, Daniel W.H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

4 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery
Pages	69-80
Number of pages	12
DOIs	https://doi.org/10.1145/2364394.2364405
Publication status	Published - 2012

Name	WGP '12
Publisher	ACM

Keywords

algorithm design, apomorphisms, bialgebras, category theory, distributive laws, paramorphisms, sorting

@inproceedings{09042ea3bd3d49408af0fd68b9ec7311,

title = "Sorting with Bialgebras and Distributive Laws",

keywords = "algorithm design, apomorphisms, bialgebras, category theory, distributive laws, paramorphisms, sorting",

author = "Ralf Hinze and James, \{Daniel W.H.\} and Thomas Harper and Nicolas Wu and Magalh{\~a}es, \{Jos{\'e} Pedro\}",

year = "2012",

doi = "10.1145/2364394.2364405",

language = "English",

series = "WGP '12",

publisher = "Association for Computing Machinery",

pages = "69--80",

booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming",

address = "United States",

}

TY - GEN

T1 - Sorting with Bialgebras and Distributive Laws

AU - Hinze, Ralf

AU - James, Daniel W.H.

AU - Harper, Thomas

AU - Wu, Nicolas

AU - Magalhães, José Pedro

PY - 2012

Y1 - 2012

KW - algorithm design, apomorphisms, bialgebras, category theory, distributive laws, paramorphisms, sorting

U2 - 10.1145/2364394.2364405

DO - 10.1145/2364394.2364405

M3 - Conference Contribution (Conference Proceeding)

T3 - WGP '12

SP - 69

EP - 80

BT - Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming

PB - Association for Computing Machinery

CY - New York, NY, USA

ER -