| 2019 | MPC | How to Calculate with Nondeterministic Functions. | Richard S. Bird, Florian Rabe |
| 2013 | HASKELL | Understanding idiomatic traversals backwards and forwards. | Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtlnder, Tom Schrijvers |
| 2009 | ICFP | Meeting a fanclub: a lattice of generic shape selectors. | Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk |
| 2008 | MPC | Zippy Tabulations of Recursive Functions. | Richard S. Bird |
| 2006 | ICFP | Fifteen years of functional pearls. | Richard S. Bird |
| 2006 | MPC | Improving Saddleback Search: A Lesson in Algorithm Design. | Richard S. Bird |
| 2006 | MPC | Loopless Functional Algorithms. | Richard S. Bird |
| 2005 | HASKELL | Polymorphic string matching. | Richard S. Bird |
| 2003 | APLAS | Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. | Shin-Cheng Mu, Richard S. Bird |
| 2003 | HASKELL | Functional Pearl trouble shared is trouble halved. | Richard S. Bird, Ralf Hinze |
| 2002 | MPC | Inverting Functions as Folds. | Shin-Cheng Mu, Richard S. Bird |
| 2001 | APLAS | Functional Quantum Programming. | Shin-Cheng Mu, Richard S. Bird |
| 1998 | MPC | Nested Datatypes. | Richard S. Bird, Lambert G. L. T. Meertens |
| 1995 | MPC | Functional Algorithm Design. | Richard S. Bird |
| 1992 | MPC | Solving Optimisation Problems with Catamorphism. | Richard S. Bird, Oege de Moor |