The Bird Tree

DOI10.1017/S0956796809990116zbMath1191.68161MaRDI QIDQ3644933

Ralf Hinze

Publication date: 13 November 2009

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra ⋮ Friends with Benefits ⋮ Concrete stream calculus: An extended study ⋮ Equational Reasoning with Applicative Functors ⋮ The conumerator and the codenominator

Uses Software

• Haskell

Cites Work

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

This page was built for publication: The Bird Tree