Speeding up Programs. - Richard S. Bird (Comput. J., 1974)

On Transformations of Programs. - Richard S. Bird (J. Comput. Syst. Sci., 1974)

Computational complexity on register machines. - Richard S. Bird (1974)

Non recursive functionals. - Richard S. Bird (Math. Log. Q., 1975)

Notes on Recursion Elimination. - Richard S. Bird (Commun. ACM, 1977)

Improving Programs by the Introduction of Recursion. - Richard S. Bird (Commun. ACM, 1977)

Two Dimensional Pattern Matching. - Richard S. Bird (Inf. Process. Lett., 1977)

Recursion Elimination with Variable Parameters. - Richard S. Bird (Comput. J., 1979)

Tabulation Techniques for Recursive Programs. - Richard S. Bird (ACM Comput. Surv., 1980)

Surveyor's Forum: A Recurring Bug. - Richard S. Bird (ACM Comput. Surv., 1981)

The Jogger's Problem. - Richard S. Bird (Inf. Process. Lett., 1981)

Using Circular Programs to Eliminate Multiple Traversals of Data. - Richard S. Bird (Acta Informatica, 1984)

The Promotion and Accumulation Strategies in Transformational Programming. - Richard S. Bird (ACM Trans. Program. Lang. Syst., 1984)

Addendum to "The Promotion and Accumulation Strategies in Transformational Programming". - Richard S. Bird (ACM Trans. Program. Lang. Syst., 1985)

Transformational Programming and the Paragraph Problem. - Richard S. Bird (Sci. Comput. Program., 1986)

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

A Formal Development of an Efficient Subercombinator Compiler. - Richard S. Bird (Sci. Comput. Program., 1987)

Introduction to functional programming. - Richard S. Bird; Philip Wadler (Prentice Hall, 1988)

Algebraic Identities for Program Calculation. - Richard S. Bird (Comput. J., 1989)

Formal Derivation of a Pattern Matching Algorithm. - Richard S. Bird; Jeremy Gibbons; Geraint Jones (Sci. Comput. Program., 1989)

The Minout Problem. - Richard S. Bird (J. Funct. Program., 1991)

On Removing Duplicates. - Richard S. Bird (J. Funct. Program., 1991)

Einführung in die funktionale Programmierung. - Richard S. Bird; Philip Wadler (Hanser, 1992)

Solving Optimisation Problems with Catamorphism. - Richard S. Bird; Oege de Moor (MPC, 1992)

Two Greedy Algorithms. - Richard S. Bird (J. Funct. Program., 1992)

Unravelling Greedy Algorithms. - Richard S. Bird (J. Funct. Program., 1992)

The Smallest Upravel. - Richard S. Bird (Sci. Comput. Program., 1992)

From Dynamic Programming to Greedy Algorithms. - Richard S. Bird; Oege de Moor (Formal Program Development, 1993)

List Partitions. - Richard S. Bird; Oege de Moor (Formal Aspects Comput., 1993)

Functional Pearls: The Last Tail. - Richard S. Bird (J. Funct. Program., 1993)

The algebra of programming. - Richard S. Bird; Oege de Moor (NATO ASI DPD, 1996)

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

Functional Algorithm Design. - Richard S. Bird (Sci. Comput. Program., 1996)

Algebra of programming. - Richard S. Bird; Oege de Moor (Prentice Hall, 1997)

Allegories as a Basis for Algorithmics. - Richard S. Bird (Category Theory and Computer Science, 1997)

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

On Merging and Selection. - Richard S. Bird (J. Funct. Program., 1997)

On Building Trees with Minimum Height. - Richard S. Bird (J. Funct. Program., 1997)

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

Introduction to functional programming using Haskell, Second Edition. - Richard S. Bird (Prentice Hall, 1998)

Nested Datatypes. - Richard S. Bird; Lambert G. L. T. Meertens (MPC, 1998)

Meertens Number. - Richard S. Bird (J. Funct. Program., 1998)

Generalised folds for nested datatypes. - Richard S. Bird; Ross Paterson (Formal Aspects Comput., 1999)

De Bruijn Notation as a Nested Datatype. - Richard S. Bird; Ross Paterson (J. Funct. Program., 1999)

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

Functional Quantum Programming. - Shin-Cheng Mu; Richard S. Bird (APLAS, 2001)

Unfolding pointer algorithms. - Richard S. Bird (J. Funct. Program., 2001)

Maximum marking problems. - Richard S. Bird (J. Funct. Program., 2001)

Arithmetic Coding with Folds and Unfolds. - Richard S. Bird; Jeremy Gibbons (Advanced Functional Programming, 2002)

Inverting Functions as Folds. - Shin-Cheng Mu; Richard S. Bird (MPC, 2002)

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

Functional Pearl trouble shared is trouble halved. - Richard S. Bird; Ralf Hinze (Haskell, 2003)

On tiling a chessboard. - Richard S. Bird (J. Funct. Program., 2004)

Inverting the Burrows-Wheeler transform. - Richard S. Bird; Shin-Cheng Mu (J. Funct. Program., 2004)

Theory and applications of inverting functions as folds. - Shin-Cheng Mu; Richard S. Bird (Sci. Comput. Program., 2004)

Polymorphic string matching. - Richard S. Bird (Haskell, 2005)

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

Fifteen years of functional pearls. - Richard S. Bird (ICFP, 2006)

Improving Saddleback Search: A Lesson in Algorithm Design. - Richard S. Bird (MPC, 2006)

Loopless Functional Algorithms. - Richard S. Bird (MPC, 2006)

Functional Pearl: A program to solve Sudoku. - Richard S. Bird (J. Funct. Program., 2006)

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

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

Minimal on-line labelling. - Richard S. Bird; Stefan Sadnicki (Inf. Process. Lett., 2007)

Spider Spinning for Dummies. - Richard S. Bird (Advanced Functional Programming, 2008)

Zippy Tabulations of Recursive Functions. - Richard S. Bird (MPC, 2008)

Meeting a fanclub: a lattice of generic shape selectors. - Roland Carl Backhouse; Richard S. Bird; Paul F. Hoogendijk (WGP@ICFP, 2009)

A simple division-free algorithm for computing determinants. - Richard S. Bird (Inf. Process. Lett., 2011)

Building a consensus: A rectangle covering problem. - Richard S. Bird (J. Funct. Program., 2011)

On building cyclic and shared structures in Haskell. - Richard S. Bird (Formal Aspects Comput., 2012)

Understanding idiomatic traversals backwards and forwards. - Richard S. Bird; Jeremy Gibbons; Stefan Mehner; Janis Voigtländer; Tom Schrijvers (Haskell, 2013)

An in-situ algorithm for expanding a graph. - Richard S. Bird (J. Funct. Program., 2013)

How to mingle streams. - Richard S. Bird (J. Funct. Program., 2015)

How to Calculate with Nondeterministic Functions. - Richard S. Bird; Florian Rabe 001 (MPC, 2019)

How to find a fake coin. - Richard S. Bird (J. Funct. Program., 2019)

An optimal, purely functional implementation of the Garsia-Wachs algorithm. - Richard S. Bird (J. Funct. Program., 2020)

A greedy algorithm for dropping digits (Functional Pearl). - Richard S. Bird; Shin-Cheng Mu (CoRR, 2021)

A greedy algorithm for dropping digits. - Richard S. Bird; Shin-Cheng Mu (J. Funct. Program., 2021)

Algorithmics. - Richard S. Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert G. L. T. Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra; Nicolas Wu (IFIP's Exciting First 60+ Years, 2021)