Functional pearl: streams and unique fixed points

DOI10.1145/1411204.1411232MaRDI QIDQ5178763zbMATH OpenOpenAlexFDO

Authors Ralf Hinze

Publication date 16 March 2015

Published in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1411204.1411232

zbMATH Keywords

coinductionfinite calculusgenerating functionsrecurrencesstreamsunique fixed points

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Concrete stream calculus: an extended study
• Proving the unique fixed-point principle correct: an adventure with category theory
• A coinductive calculus of streams
• Elements of stream calculus (an extensive exercise in coinduction)
• A term calculus for (co-)recursive definitions on streamlike data structures

Cited in

(10)

• Functional pearl
• Concrete stream calculus: an extended study
• Functional Pearls
• Bisimulations generated from corecursive equations
• Sampling, splitting and merging in coinductive stream calculus
• The Bird Tree
• Proving the unique fixed-point principle correct: an adventure with category theory
• Bidirectionalization for free! (Pearl)
• Investigating streamless sets
• Coalgebras in functional programming and type theory

This page was built for publication: Functional pearl: streams and unique fixed points

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