Richard S. Bird

ORCID

Publication Activity (10 Years)

Years Active: 1974-2021
Publications (10 Years): 4

Top Venues

J. Funct. Program.

CoRR

Formal Aspects Comput.

Haskell

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Richard S. Bird, Shin-Cheng Mu
A greedy algorithm for dropping digits. J. Funct. Program. 31 (2021)
Richard S. Bird, Shin-Cheng Mu
A greedy algorithm for dropping digits (Functional Pearl). CoRR (2021)
Richard S. Bird
An optimal, purely functional implementation of the Garsia-Wachs algorithm. J. Funct. Program. 30 (2020)
Richard S. Bird
How to find a fake coin. J. Funct. Program. 29 (2019)
Richard S. Bird
How to mingle streams. J. Funct. Program. 25 (2015)
Richard S. Bird
An in-situ algorithm for expanding a graph. J. Funct. Program. 23 (2) (2013)
Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
Understanding idiomatic traversals backwards and forwards. Haskell (2013)
Richard S. Bird
On building cyclic and shared structures in Haskell. Formal Aspects Comput. 24 (4-6) (2012)
Richard S. Bird
Building a consensus: A rectangle covering problem. J. Funct. Program. 21 (2) (2011)
Richard S. Bird
A simple division-free algorithm for computing determinants. Inf. Process. Lett. 111 (21-22) (2011)
Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk
Meeting a fanclub: a lattice of generic shape selectors. WGP@ICFP (2009)
Richard S. Bird
Spider Spinning for Dummies. Advanced Functional Programming (2008)
Richard S. Bird
Zippy Tabulations of Recursive Functions. MPC (2008)
Richard S. Bird, Stefan Sadnicki
Minimal on-line labelling. Inf. Process. Lett. 101 (1) (2007)
Jeremy Gibbons, David R. Lester, Richard S. Bird
Functional Pearl: Enumerating the rationals. J. Funct. Program. 16 (3) (2006)
Richard S. Bird
Improving Saddleback Search: A Lesson in Algorithm Design. MPC (2006)
Richard S. Bird
Functional Pearl: A program to solve Sudoku. J. Funct. Program. 16 (6) (2006)
Richard S. Bird
Fifteen years of functional pearls. ICFP (2006)
Richard S. Bird
Loopless Functional Algorithms. MPC (2006)
Richard S. Bird, Sharon A. Curtis
Functional Pearls: Finding celebrities: A lesson in functional programming. J. Funct. Program. 16 (1) (2006)
Richard S. Bird
Polymorphic string matching. Haskell (2005)
Richard S. Bird, Shin-Cheng Mu
Countdown: A case study in Origami programming. J. Funct. Program. 15 (5) (2005)
Richard S. Bird
On tiling a chessboard. J. Funct. Program. 14 (6) (2004)
Shin-Cheng Mu, Richard S. Bird
Theory and applications of inverting functions as folds. Sci. Comput. Program. 51 (1-2) (2004)
Richard S. Bird, Shin-Cheng Mu
Inverting the Burrows-Wheeler transform. J. Funct. Program. 14 (6) (2004)
Shin-Cheng Mu, Richard S. Bird
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. APLAS (2003)
Richard S. Bird, Ralf Hinze
Functional Pearl trouble shared is trouble halved. Haskell (2003)
Richard S. Bird, Jeremy Gibbons
Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming (2002)
Shin-Cheng Mu, Richard S. Bird
Inverting Functions as Folds. MPC (2002)
Shin-Cheng Mu, Richard S. Bird
Functional Quantum Programming. APLAS (2001)
Richard S. Bird
Maximum marking problems. J. Funct. Program. 11 (4) (2001)
Richard S. Bird
Unfolding pointer algorithms. J. Funct. Program. 11 (3) (2001)
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
Algebraic Methods for Optimization Problems. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Richard S. Bird, Ross Paterson
De Bruijn Notation as a Nested Datatype. J. Funct. Program. 9 (1) (1999)
Richard S. Bird, Ross Paterson
Generalised folds for nested datatypes. Formal Aspects Comput. 11 (2) (1999)
Richard S. Bird
Meertens Number. J. Funct. Program. 8 (1) (1998)
Richard S. Bird, Lambert G. L. T. Meertens
Nested Datatypes. MPC (1998)
Richard S. Bird
On Merging and Selection. J. Funct. Program. 7 (3) (1997)
Richard S. Bird, Geraint Jones, Oege de Moor
More Haste, Less Speed: Lazy Versus Eager Evaluation. J. Funct. Program. 7 (5) (1997)
Richard S. Bird
Allegories as a Basis for Algorithmics. Category Theory and Computer Science (1997)
Richard S. Bird, Jesús N. Ravelo
On Computing Representatives. Inf. Process. Lett. 63 (1) (1997)
Richard S. Bird
On Building Trees with Minimum Height. J. Funct. Program. 7 (4) (1997)
Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
Generic Functional Programming with Types and Relations. J. Funct. Program. 6 (1) (1996)
Richard S. Bird
Functional Algorithm Design. Sci. Comput. Program. 26 (1-3) (1996)
Richard S. Bird, Oege de Moor
The algebra of programming. NATO ASI DPD (1996)
Richard S. Bird
Functional Algorithm Design. MPC (1995)
Richard S. Bird, Oege de Moor
List Partitions. Formal Aspects Comput. 5 (1) (1993)
Richard S. Bird, Oege de Moor
From Dynamic Programming to Greedy Algorithms. Formal Program Development (1993)
Richard S. Bird
Functional Pearls: The Last Tail. J. Funct. Program. 3 (1) (1993)
Richard S. Bird
Two Greedy Algorithms. J. Funct. Program. 2 (2) (1992)
Richard S. Bird, Oege de Moor
Solving Optimisation Problems with Catamorphism. MPC (1992)
Richard S. Bird
The Smallest Upravel. Sci. Comput. Program. 18 (3) (1992)
Richard S. Bird
Unravelling Greedy Algorithms. J. Funct. Program. 2 (3) (1992)
Richard S. Bird
On Removing Duplicates. J. Funct. Program. 1 (2) (1991)
Richard S. Bird
The Minout Problem. J. Funct. Program. 1 (1) (1991)
Richard S. Bird
Algebraic Identities for Program Calculation. Comput. J. 32 (2) (1989)
Richard S. Bird, Jeremy Gibbons, Geraint Jones
Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. 12 (2) (1989)
Richard S. Bird, John Hughes
The alpha-beta Algorithm: An Exercise in Program Transformation. Inf. Process. Lett. 24 (1) (1987)
Richard S. Bird
A Formal Development of an Efficient Subercombinator Compiler. Sci. Comput. Program. 8 (2) (1987)
Richard S. Bird
Transformational Programming and the Paragraph Problem. Sci. Comput. Program. 6 (2) (1986)
Richard S. Bird
Addendum to "The Promotion and Accumulation Strategies in Transformational Programming". ACM Trans. Program. Lang. Syst. 7 (3) (1985)
Richard S. Bird
Using Circular Programs to Eliminate Multiple Traversals of Data. Acta Informatica 21 (1984)
Richard S. Bird
The Promotion and Accumulation Strategies in Transformational Programming. ACM Trans. Program. Lang. Syst. 6 (4) (1984)
Richard S. Bird
Surveyor's Forum: A Recurring Bug. ACM Comput. Surv. 13 (2) (1981)
Richard S. Bird
The Jogger's Problem. Inf. Process. Lett. 13 (3) (1981)
Richard S. Bird
Tabulation Techniques for Recursive Programs. ACM Comput. Surv. 12 (4) (1980)
Richard S. Bird
Recursion Elimination with Variable Parameters. Comput. J. 22 (2) (1979)
Richard S. Bird
Notes on Recursion Elimination. Commun. ACM 20 (6) (1977)
Richard S. Bird
Two Dimensional Pattern Matching. Inf. Process. Lett. 6 (5) (1977)
Richard S. Bird
Improving Programs by the Introduction of Recursion. Commun. ACM 20 (11) (1977)
Richard S. Bird
Speeding up Programs. Comput. J. 17 (4) (1974)
Richard S. Bird
On Transformations of Programs. J. Comput. Syst. Sci. 8 (1) (1974)

Richard S. Bird.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Richard S. Bird