scientific article; zbMATH DE number 517048

MaRDI QIDQ4282576zbMATH OpenFDO

Authors Barry Jay

Publication date 17 March 1994

zbMATH Keywords

stacksinitial algebrasliststail recursiondistributive categorypolynomial categoryloop diagram

Mathematics Subject Classification ID

Data structures (68P05) Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Recommendations

• Tail recursion through universal invariants
• Functional programming with apomorphisms (corecursion)
• Paramorphisms
• scientific article; zbMATH DE number 1343506
• Recursion schemes from comonads

Cited in

(1)

• Tail recursion through universal invariants

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282576)