Conjugate Hylomorphisms -- Or
From MaRDI portal
Publication:2819837
DOI10.1145/2676726.2676989zbMath1345.68057OpenAlexW2014143852MaRDI QIDQ2819837
Jeremy Gibbons, Ralf Hinze, Nicolas Wu
Publication date: 29 September 2016
Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2676726.2676989
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Fusion for Free ⋮ Fantastic morphisms and where to find them. A guide to recursion schemes ⋮ Unifying structured recursion schemes ⋮ Incremental Computing with Abstract Data Structures ⋮ Steps and traces
Uses Software
This page was built for publication: Conjugate Hylomorphisms -- Or
