Sorting with Bialgebras and Distributive Laws

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

doi:10.1145/2364394.2364405

Sorting with Bialgebras and Distributive Laws

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

Department of Computer Science

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

3 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 (ACM)
Pages	69-80
Number of pages	12
DOIs	https://doi.org/10.1145/2364394.2364405
Publication status	Published - 2012

Publication series

Name	WGP '12
Publisher	ACM

Keywords

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

Access to Document

10.1145/2364394.2364405

http://doi.acm.org/10.1145/2364394.2364405

Handle.net

Persistent link

Cite this

@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 (ACM)",

pages = "69--80",

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

address = "United States",

}

Sorting with Bialgebras and Distributive Laws. / Hinze, Ralf; James, Daniel W.H.; Harper, Thomas et al.
Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming. New York, NY, USA: Association for Computing Machinery (ACM), 2012. p. 69-80 (WGP '12).

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

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 (ACM)

CY - New York, NY, USA

ER -