Conjugate Hylomorphisms: The Mother of All Structured Recursion Schemes

Ralf Hinze; Nicolas Wu; Jeremy Gibbons

doi:10.1145/2676726.2676989

Conjugate Hylomorphisms: The Mother of All Structured Recursion Schemes

Ralf Hinze, Nicolas Wu, Jeremy Gibbons

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

Original language	English
Title of host publication	Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	527-538
Number of pages	12
DOIs	https://doi.org/10.1145/2676726.2676989
Publication status	Published - 2015

Publication series

Name	POPL '15
Publisher	ACM

Keywords

adjunctions, hylomorphisms, recursion schemes

Access to Document

10.1145/2676726.2676989

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

Handle.net

Persistent link

Cite this

@inproceedings{53d0ed69112f4394897d2c7f7be0520d,

title = "Conjugate Hylomorphisms: The Mother of All Structured Recursion Schemes",

keywords = "adjunctions, hylomorphisms, recursion schemes",

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

year = "2015",

doi = "10.1145/2676726.2676989",

language = "English",

series = "POPL '15",

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

pages = "527--538",

booktitle = "Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",

address = "United States",

}

Conjugate Hylomorphisms: The Mother of All Structured Recursion Schemes. / Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy.
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York, NY, USA: Association for Computing Machinery (ACM), 2015. p. 527-538 (POPL '15).

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

TY - GEN

T1 - Conjugate Hylomorphisms

T2 - The Mother of All Structured Recursion Schemes

AU - Hinze, Ralf

AU - Wu, Nicolas

AU - Gibbons, Jeremy

PY - 2015

Y1 - 2015

KW - adjunctions, hylomorphisms, recursion schemes

U2 - 10.1145/2676726.2676989

DO - 10.1145/2676726.2676989

M3 - Conference Contribution (Conference Proceeding)

T3 - POPL '15

SP - 527

EP - 538

BT - Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

ER -