Unifying Structured Recursion Schemes

Ralf Hinze; Nicolas Wu; Jeremy Gibbons

doi:10.1145/2500365.2500578

Unifying Structured Recursion Schemes

Ralf Hinze, Nicolas Wu, Jeremy Gibbons

Department of Computer Science

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

11 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	209-220
Number of pages	12
DOIs	https://doi.org/10.1145/2500365.2500578
Publication status	Published - 2013

Publication series

Name	ICFP '13
Publisher	ACM

Keywords

adjunctions, bialgebras, comonads, distributive laws, recursion schemes

Access to Document

10.1145/2500365.2500578

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

Handle.net

Persistent link

Cite this

@inproceedings{48139d0334ec47868530bd31cde65013,

title = "Unifying Structured Recursion Schemes",

keywords = "adjunctions, bialgebras, comonads, distributive laws, recursion schemes",

author = "Ralf Hinze and Nicolas Wu and Jeremy Gibbons",

year = "2013",

doi = "10.1145/2500365.2500578",

language = "English",

series = "ICFP '13",

publisher = "Association for Computing Machinery (ACM)",

pages = "209--220",

booktitle = "Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming",

address = "United States",

}

Unifying Structured Recursion Schemes. / Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy.

Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA : Association for Computing Machinery (ACM), 2013. p. 209-220 (ICFP '13).

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

TY - GEN

T1 - Unifying Structured Recursion Schemes

AU - Hinze, Ralf

AU - Wu, Nicolas

AU - Gibbons, Jeremy

PY - 2013

Y1 - 2013

KW - adjunctions, bialgebras, comonads, distributive laws, recursion schemes

U2 - 10.1145/2500365.2500578

DO - 10.1145/2500365.2500578

M3 - Conference Contribution (Conference Proceeding)

T3 - ICFP '13

SP - 209

EP - 220

BT - Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

ER -