scientific article; zbMATH DE number 517048

zbMATH Open0792.68093MaRDI QIDQ4282576FDOQ4282576

Authors: Barry Jay 

Publication date: 17 March 1994

Title of this publication is not available (Why is that?)

Recommendations

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

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)

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)