Conjugate Hylomorphisms -- Or

From MaRDI portal

Revision as of 18:19, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2819837

Jump to:navigation, search

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

zbMATH Keywords

adjunctions recursion schemes hylomorphisms

Mathematics Subject Classification ID

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

Haskell

This page was built for publication: Conjugate Hylomorphisms -- Or

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2819837&oldid=15736562"