Richard S. Bird

Richard S. Bird: An in-situ algorithm for expanding a graph. J. Funct. Program. 23(2): 174-184 (2013)

Richard S. Bird: On building cyclic and shared structures in Haskell. Formal Asp. Comput. 24(4-6): 609-621 (2012)

Richard S. Bird: A simple division-free algorithm for computing determinants. Inf. Process. Lett. 111(21-22): 1072-1074 (2011)

Richard S. Bird: Building a consensus: A rectangle covering problem. J. Funct. Program. 21(2): 119-128 (2011)

Richard S. Bird: Spider Spinning for Dummies. Advanced Functional Programming 2008: 39-65

Richard S. Bird: Zippy Tabulations of Recursive Functions. MPC 2008: 92-109

Richard S. Bird, Stefan Sadnicki: Minimal on-line labelling. Inf. Process. Lett. 101(1): 41-45 (2007)

Richard S. Bird, Sharon A. Curtis: Functional Pearls: Finding celebrities: A lesson in functional programming. J. Funct. Program. 16(1): 13-20 (2006)

Jeremy Gibbons, David R. Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)

Richard S. Bird: Functional Pearl: A program to solve Sudoku. J. Funct. Program. 16(6): 671-679 (2006)

Richard S. Bird: Fifteen years of functional pearls. ICFP 2006: 215

Richard S. Bird: Improving Saddleback Search: A Lesson in Algorithm Design. MPC 2006: 82-89

Richard S. Bird: Loopless Functional Algorithms. MPC 2006: 90-114

Richard S. Bird, Shin-Cheng Mu: Countdown: A case study in Origami programming. J. Funct. Program. 15(5): 679-702 (2005)

Richard S. Bird: Polymorphic string matching. Haskell 2005: 110-115

Richard S. Bird, Shin-Cheng Mu: Inverting the Burrows-Wheeler transform. J. Funct. Program. 14(6): 603-612 (2004)

Richard S. Bird: On tiling a chessboard. J. Funct. Program. 14(6): 613-622 (2004)

Shin-Cheng Mu, Richard S. Bird: Theory and applications of inverting functions as folds. Sci. Comput. Program. 51(1-2): 87-116 (2004)

Shin-Cheng Mu, Richard S. Bird: Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. APLAS 2003: 265-282

Richard S. Bird, Jeremy Gibbons: Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26

Shin-Cheng Mu, Richard S. Bird: Inverting Functions as Folds. MPC 2002: 209-232

Richard S. Bird: Unfolding pointer algorithms. J. Funct. Program. 11(3): 347-358 (2001)

Richard S. Bird: Maximum marking problems. J. Funct. Program. 11(4): 411-424 (2001)

Shin-Cheng Mu, Richard S. Bird: Functional Quantum Programming. APLAS 2001: 75-88

Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu: Algebraic Methods for Optimization Problems. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 281-308

Richard S. Bird, Ross Paterson: Generalised folds for nested datatypes. Formal Asp. Comput. 11(2): 200-222 (1999)

Richard S. Bird, Ross Paterson: De Bruijn Notation as a Nested Datatype. J. Funct. Program. 9(1): 77-91 (1999)

Richard S. Bird: Meertens Number. J. Funct. Program. 8(1): 83-88 (1998)

Richard S. Bird, Lambert G. L. T. Meertens: Nested Datatypes. MPC 1998: 52-67

Richard S. Bird, Oege de Moor: Algebra of programming. Prentice Hall International series in computer science, Prentice Hall 1997, isbn 978-0-13-507245-5, pp. I-XIV, 1-295

Richard S. Bird, Jesús N. Ravelo: On Computing Representatives. Inf. Process. Lett. 63(1): 1-7 (1997)

Richard S. Bird: On Merging and Selection. J. Funct. Program. 7(3): 349-354 (1997)

Richard S. Bird: On Building Trees with Minimum Height. J. Funct. Program. 7(4): 441-445 (1997)

Richard S. Bird, Geraint Jones, Oege de Moor: More Haste, Less Speed: Lazy Versus Eager Evaluation. J. Funct. Program. 7(5): 541-547 (1997)

Richard S. Bird: Allegories as a Basis for Algorithmics. Category Theory and Computer Science 1997: 34-46

Richard S. Bird, Lambert G. L. T. Meertens (Eds.): Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France. IFIP Conference Proceedings 95, Chapman & Hall 1997, isbn 0-412-82050-1

Richard S. Bird, Oege de Moor, Paul F. Hoogendijk: Generic Functional Programming with Types and Relations. J. Funct. Program. 6(1): 1-28 (1996)

Richard S. Bird: Functional Algorithm Design. Sci. Comput. Program. 26(1-3): 15-31 (1996)

Richard S. Bird, Oege de Moor: The algebra of programming. NATO ASI DPD 1996: 167-203

Richard S. Bird: Functional Algorithm Design. MPC 1995: 2-17

Richard S. Bird, Oege de Moor: List Partitions. Formal Asp. Comput. 5(1): 61-78 (1993)

Richard S. Bird: Functional Pearls: The Last Tail. J. Funct. Program. 3(1): 117-122 (1993)

Richard S. Bird, Oege de Moor: From Dynamic Programming to Greedy Algorithms. Formal Program Development 1993: 43-61

Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.): Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Lecture Notes in Computer Science 669, Springer 1993, isbn 3-540-56625-2

Richard S. Bird, Philip Wadler: Einführung in die funktionale Programmierung. Hanser Studienbücher der Informatik, Hanser 1992, isbn 978-3-446-17001-8, pp. I-XIII, 1-284

Richard S. Bird: Two Greedy Algorithms. J. Funct. Program. 2(2): 237-244 (1992)

Richard S. Bird: Unravelling Greedy Algorithms. J. Funct. Program. 2(3): 375-385 (1992)

Richard S. Bird: The Smallest Upravel. Sci. Comput. Program. 18(3): 281-292 (1992)

Richard S. Bird, Oege de Moor: Solving Optimisation Problems with Catamorphism. MPC 1992: 45-66

Richard S. Bird: The Minout Problem. J. Funct. Program. 1(1): 121-124 (1991)

Richard S. Bird: On Removing Duplicates. J. Funct. Program. 1(2): 235-243 (1991)

Richard S. Bird: Algebraic Identities for Program Calculation. Comput. J. 32(2): 122-126 (1989)

Richard S. Bird, Jeremy Gibbons, Geraint Jones: Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. 12(2): 93-104 (1989)

Richard S. Bird, Philip Wadler: Introduction to functional programming. Prentice Hall International series in computer science, Prentice Hall 1988, isbn 978-0-13-484197-7, pp. I-XV, 1-293

Richard S. Bird, John Hughes: The alpha-beta Algorithm: An Exercise in Program Transformation. Inf. Process. Lett. 24(1): 53-57 (1987)

Richard S. Bird: A Formal Development of an Efficient Subercombinator Compiler. Sci. Comput. Program. 8(2): 113-137 (1987)

Richard S. Bird: Transformational Programming and the Paragraph Problem. Sci. Comput. Program. 6(2): 159-189 (1986)

Richard S. Bird: Addendum to ``The Promotion and Accumulation Strategies in Transformational Programming''. ACM Trans. Program. Lang. Syst. 7(3): 490-492 (1985)

Richard S. Bird: Using Circular Programs to Eliminate Multiple Traversals of Data. Acta Inf. 21: 239-250 (1984)

Richard S. Bird: The Promotion and Accumulation Strategies in Transformational Programming. ACM Trans. Program. Lang. Syst. 6(4): 487-504 (1984)

Richard S. Bird: Surveyor's Forum: A Recurring Bug. ACM Comput. Surv. 13(2): 243 (1981)

Richard S. Bird: The Jogger's Problem. Inf. Process. Lett. 13(3): 114-117 (1981)

Richard S. Bird: Tabulation Techniques for Recursive Programs. ACM Comput. Surv. 12(4): 403-417 (1980)

Richard S. Bird: Recursion Elimination with Variable Parameters. Comput. J. 22(2): 151-154 (1979)

Richard S. Bird: Notes on Recursion Elimination. Commun. ACM 20(6): 434-439 (1977)

Richard S. Bird: Improving Programs by the Introduction of Recursion. Commun. ACM 20(11): 856-863 (1977)

Richard S. Bird: Two Dimensional Pattern Matching. Inf. Process. Lett. 6(5): 168-170 (1977)

Richard S. Bird: Speeding up Programs. Comput. J. 17(4): 337-339 (1974)

Richard S. Bird: On Transformations of Programs. J. Comput. Syst. Sci. 8(1): 22-35 (1974)