Richard S. Bird

According to our database, Richard S. Bird authored at least 79 papers between 1974 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the Advancing Research in Information and Communication Technology, 2021

A greedy algorithm for dropping digits.

Richard S. Bird, Shin-Cheng Mu

J. Funct. Program., 2021

A greedy algorithm for dropping digits (Functional Pearl).

Richard S. Bird, Shin-Cheng Mu

CoRR, 2021

2020

An optimal, purely functional implementation of the Garsia-Wachs algorithm.

Richard S. Bird

J. Funct. Program., 2020

2019

How to find a fake coin.

Richard S. Bird

J. Funct. Program., 2019

How to Calculate with Nondeterministic Functions.

Richard S. Bird, Florian Rabe

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2015

How to mingle streams.

Richard S. Bird

J. Funct. Program., 2015

2013

An in-situ algorithm for expanding a graph.

Richard S. Bird

J. Funct. Program., 2013

Understanding idiomatic traversals backwards and forwards.

Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

On building cyclic and shared structures in Haskell.

Richard S. Bird

Formal Aspects Comput., 2012

2011

Building a consensus: A rectangle covering problem.

Richard S. Bird

J. Funct. Program., 2011

A simple division-free algorithm for computing determinants.

Richard S. Bird

Inf. Process. Lett., 2011

2009

Meeting a fanclub: a lattice of generic shape selectors.

Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

Zippy Tabulations of Recursive Functions.

Richard S. Bird

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Spider Spinning for Dummies.

Richard S. Bird

Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007

Minimal on-line labelling.

Richard S. Bird, Stefan Sadnicki

Inf. Process. Lett., 2007

2006

Functional Pearl: Enumerating the rationals.

Jeremy Gibbons, David R. Lester, 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: A program to solve Sudoku.

Richard S. Bird

J. Funct. Program., 2006

Loopless Functional Algorithms.

Richard S. Bird

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Improving Saddleback Search: A Lesson in Algorithm Design.

Richard S. Bird

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Fifteen years of functional pearls.

Richard S. Bird

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

Countdown: A case study in Origami programming.

Richard S. Bird, Shin-Cheng Mu

J. Funct. Program., 2005

Polymorphic string matching.

Richard S. Bird

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Theory and applications of inverting functions as folds.

Shin-Cheng Mu, Richard S. Bird

Sci. Comput. Program., 2004

Inverting the Burrows-Wheeler transform.

Richard S. Bird, Shin-Cheng Mu

J. Funct. Program., 2004

On tiling a chessboard.

Richard S. Bird

J. Funct. Program., 2004

2003

Functional Pearl trouble shared is trouble halved.

Richard S. Bird, Ralf Hinze

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion.

Shin-Cheng Mu, Richard S. Bird

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Inverting Functions as Folds.

Shin-Cheng Mu, Richard S. Bird

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Arithmetic Coding with Folds and Unfolds.

Richard S. Bird, Jeremy Gibbons

Proceedings of the Advanced Functional Programming, 2002

2001

Maximum marking problems.

Richard S. Bird

J. Funct. Program., 2001

Unfolding pointer algorithms.

Richard S. Bird

J. Funct. Program., 2001

Functional Quantum Programming.

Shin-Cheng Mu, Richard S. Bird

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Algebraic Methods for Optimization Problems.

Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu

Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000

1999

De Bruijn Notation as a Nested Datatype.

Richard S. Bird, Ross Paterson

J. Funct. Program., 1999

Generalised folds for nested datatypes.

Richard S. Bird, Ross Paterson

Formal Aspects Comput., 1999

1998

Meertens Number.

Richard S. Bird

J. Funct. Program., 1998

Nested Datatypes.

Richard S. Bird, Lambert G. L. T. Meertens

Proceedings of the Mathematics of Program Construction, 1998

Introduction to functional programming using Haskell, Second Edition.

Richard S. Bird

Prentice Hall series in computer science, Prentice Hall, ISBN: 978-0-13-484346-9, 1998

1997

More Haste, Less Speed: Lazy Versus Eager Evaluation.

Richard S. Bird, Geraint Jones, Oege de Moor

J. Funct. Program., 1997

On Building Trees with Minimum Height.

Richard S. Bird

J. Funct. Program., 1997

On Merging and Selection.

Richard S. Bird

J. Funct. Program., 1997

On Computing Representatives.

Richard S. Bird, Jesús N. Ravelo

Inf. Process. Lett., 1997

Allegories as a Basis for Algorithmics.

Richard S. Bird

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

Algebra of programming.

Richard S. Bird, Oege de Moor

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-507245-5, 1997

1996

Functional Algorithm Design.

Richard S. Bird

Sci. Comput. Program., 1996

Generic Functional Programming with Types and Relations.

Richard S. Bird, Oege de Moor, Paul F. Hoogendijk

J. Funct. Program., 1996

The algebra of programming.

Richard S. Bird, Oege de Moor

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1993

Functional Pearls: The Last Tail.

Richard S. Bird

J. Funct. Program., 1993

List Partitions.

Richard S. Bird, Oege de Moor

Formal Aspects Comput., 1993

From Dynamic Programming to Greedy Algorithms.

Richard S. Bird, Oege de Moor

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992

The Smallest Upravel.

Richard S. Bird

Sci. Comput. Program., 1992

Unravelling Greedy Algorithms.

Richard S. Bird

J. Funct. Program., 1992

Two Greedy Algorithms.

Richard S. Bird

J. Funct. Program., 1992

Solving Optimisation Problems with Catamorphism.

Richard S. Bird, Oege de Moor

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

Einführung in die funktionale Programmierung.

Richard S. Bird, Philip Wadler

Hanser Studienbücher der Informatik, Hanser, ISBN: 978-3-446-17001-8, 1992

1991

On Removing Duplicates.

Richard S. Bird

J. Funct. Program., 1991

The Minout Problem.

Richard S. Bird

J. Funct. Program., 1991

1989

Formal Derivation of a Pattern Matching Algorithm.

Richard S. Bird, Jeremy Gibbons, Geraint Jones

Sci. Comput. Program., 1989

Algebraic Identities for Program Calculation.

Richard S. Bird

Comput. J., 1989

1988

Introduction to functional programming.

Richard S. Bird, Philip Wadler

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-484197-7, 1988

1987

A Formal Development of an Efficient Subercombinator Compiler.

Richard S. Bird

Sci. Comput. Program., 1987

The alpha-beta Algorithm: An Exercise in Program Transformation.

Richard S. Bird, John Hughes

Inf. Process. Lett., 1987

1986

Transformational Programming and the Paragraph Problem.

Richard S. Bird

Sci. Comput. Program., 1986

1985

Addendum to "The Promotion and Accumulation Strategies in Transformational Programming".

Richard S. Bird

ACM Trans. Program. Lang. Syst., 1985

1984

The Promotion and Accumulation Strategies in Transformational Programming.

Richard S. Bird

ACM Trans. Program. Lang. Syst., 1984

Using Circular Programs to Eliminate Multiple Traversals of Data.

Richard S. Bird

Acta Informatica, 1984

1981

The Jogger's Problem.

Richard S. Bird

Inf. Process. Lett., 1981

Surveyor's Forum: A Recurring Bug.

Richard S. Bird

ACM Comput. Surv., 1981

1980

Tabulation Techniques for Recursive Programs.

Richard S. Bird

ACM Comput. Surv., 1980

1979

Recursion Elimination with Variable Parameters.

Richard S. Bird

Comput. J., 1979

1977

Two Dimensional Pattern Matching.

Richard S. Bird

Inf. Process. Lett., 1977

Improving Programs by the Introduction of Recursion.

Richard S. Bird

Commun. ACM, 1977

Notes on Recursion Elimination.

Richard S. Bird

Commun. ACM, 1977

1975

Non recursive functionals.

Richard S. Bird

Math. Log. Q., 1975

1974

Computational complexity on register machines.

Richard S. Bird

PhD thesis, 1974

On Transformations of Programs.

Richard S. Bird

J. Comput. Syst. Sci., 1974

Speeding up Programs.

Richard S. Bird

Comput. J., 1974