Abstract
Sadly, Richard Bird is stepping down as the editor of the ‘Functional Pearls’ column. As a farewell present, I would like to dedicate a tree to him. A woody plant is appropriate for at least two reasons: Richard has been preoccupied with trees in many of his pearls, and where else would you find a bird's nest? Actually, there is a lot of room for nests, as the tree is infinite. Figure 1 displays the first five levels. The Bird tree, whose nodes are labelled with rational numbers, enjoys several remarkable properties.
Publisher
Cambridge University Press (CUP)
Reference12 articles.
1. Applicative programming with effects
2. Recounting the Rationals: Twice!
3. Sloane N. J. A. (2009) The on-line encyclopedia of integer sequences [online]. Available at: http://www.research.att.com/~njas/sequences/ (Accessed 17 July 2009).
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The conumerator and the codenominator;Bulletin des Sciences Mathématiques;2022-11
2. Friends with Benefits;Programming Languages and Systems;2017
3. A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra;Journal of Logical and Algebraic Methods in Programming;2016-08
4. Equational Reasoning with Applicative Functors;Interactive Theorem Proving;2016
5. Proving the unique fixed-point principle correct;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19