The Bird Tree

DOI10.1017/S0956796809990116MaRDI QIDQ3644933zbMATH OpenFDO

Authors Ralf Hinze

Publication date 13 November 2009

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796809990116

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites work

• Applicative programming with effects
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• FUNCTIONAL PEARL: Enumerating the rationals
• Functional pearl: streams and unique fixed points
• Loopless Functional Algorithms
• Recounting the Rationals
• Recounting the Rationals: Twice!

Cited in

(8)

• Trees of fractions
• A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
• Concrete stream calculus: an extended study
• Equational Reasoning with Applicative Functors
• The real tree
• The conumerator and the codenominator
• Friends with benefits. Implementing corecursion in foundational proof assistants
• The cendian of a tree

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: The Bird Tree

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