Richard Bird : Publications

Books

• [1]

  Algorithm Design with Haskell

  Richard Bird and Jeremy Gibbons

  Cambridge University Press. July, 2020.

  Details about Algorithm Design with Haskell | BibTeX data for Algorithm Design with Haskell | Link to Algorithm Design with Haskell

• [2]

  Thinking Functionally with Haskell

  Richard Bird

  Cambridge University Press. 2014.

  Details about Thinking Functionally with Haskell | BibTeX data for Thinking Functionally with Haskell | Link to Thinking Functionally with Haskell

• [3]

  Pearls of Functional Algorithm Design

  Richard Bird

  Cambridge University Press. 2010.

  Details about Pearls of Functional Algorithm Design | BibTeX data for Pearls of Functional Algorithm Design | Link to Pearls of Functional Algorithm Design

• [4]

  Introduction to Functional Programming Using Haskell

  Richard S. Bird

  Prentice−Hall. 1998.

  Details about Introduction to Functional Programming Using Haskell | BibTeX data for Introduction to Functional Programming Using Haskell | Link to Introduction to Functional Programming Using Haskell

• [5]

  The Algebra of Programming

  Richard Bird and Oege de Moor

  Prentice−Hall. 1996.

  Details about The Algebra of Programming | BibTeX data for The Algebra of Programming | Link to The Algebra of Programming

• [6]

  An Introduction to Functional Programming

  Richard S. Bird and Philip L. Wadler

  Prentice−Hall. 1988.

  Details about An Introduction to Functional Programming | BibTeX data for An Introduction to Functional Programming

• [7]

  Programs and Machines

  Richard Bird

  Wiley. 1976.

  Details about Programs and Machines | BibTeX data for Programs and Machines

Book chapters

• [1]

  Algorithmics

  Nicolas Wu Richard S. Bird Jeremy Gibbons Ralf Hinze Peter Hoefner Johan Jeuring Lambert G. L. T. Meertens Bernhard Moeller Carroll Morgan Tom Schrijvers Wouter Swierstra

  In Kai Rannenberg Michael Goedicke Erich J. Neuhold, editor, Advancing Research in Information and Communication Technology − IFIP's Exciting First 60+ Years‚ Views from the Technical Committees and Working Groups. Vol. 600 of IFIP Advances in Information and Communication Technology. Pages 59−98. Springer. 2021.

  Details about Algorithmics | BibTeX data for Algorithmics | DOI (10.1007/978-3-030-81701-5_3)

• [2]

  Algebraic Methods for Optimization Problems

  Richard Bird‚ Jeremy Gibbons and Shin Cheng Mu

  In Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 281–307. Springer−Verlag. 2002.

  Details about Algebraic Methods for Optimization Problems | BibTeX data for Algebraic Methods for Optimization Problems | Download (pdf) of Algebraic Methods for Optimization Problems

• [3]

  The Algebra of Programming

  Richard Bird and Oege de Moor

  In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design. Pages 167−203. Springer−Verlag. 1994.

  Details about The Algebra of Programming | BibTeX data for The Algebra of Programming | Link to The Algebra of Programming

• [4]

  Relational Program Derivation and Context−Free Language Recognition

  Richard Bird and Oege de Moor

  In A. W. Roscoe, editor, A Classical Mind: Essays in Honour of C.A.R.Hoare. Chapter 2. Prentice−Hall. 1994.

  Details about Relational Program Derivation and Context−Free Language Recognition | BibTeX data for Relational Program Derivation and Context−Free Language Recognition

• [5]

  Small Specification Exercises

  Richard S. Bird

  In W. H. J. Feijen‚ A. J. M. van Gasteren‚ D. Gries and J. Misra, editors, Beauty is our Business. Pages 36–43. Springer−Verlag. 1990.

  Details about Small Specification Exercises | BibTeX data for Small Specification Exercises

• [6]

  A Calculus of Functions for Program Derivation

  Richard S. Bird

  In David A. Turner, editor, Research Topics in Functional Programming. Addison−Wesley. 1990.

  Also available as Technical Monograph PRG−64‚ from the Programming Research Group‚ Oxford University

  Details about A Calculus of Functions for Program Derivation | BibTeX data for A Calculus of Functions for Program Derivation

• [7]

  Two Exercises Found In a Book on Algorithmics

  Richard S. Bird and Lambert Meertens

  In Lambert Meertens, editor, Program Specification and Transformation. Pages 451–457. North−Holland. 1987.

  Details about Two Exercises Found In a Book on Algorithmics | BibTeX data for Two Exercises Found In a Book on Algorithmics

• [8]

  An Introduction to the Theory of Lists

  Richard S. Bird

  In M. Broy, editor, Logic of Programming and Calculi of Discrete Design. Pages 3–42. Springer−Verlag. 1987.

  NATO ASI Series F Volume 36. Also available as Technical Monograph PRG−56‚ from the Programming Research Group‚ Oxford University

  Details about An Introduction to the Theory of Lists | BibTeX data for An Introduction to the Theory of Lists

Journal papers

• [1]

  A Greedy Algorithm for Dropping Digits

  Richard S. Bird and Shin−Cheng Mu

  In Journal of Functional Programming. Vol. 31. Pages e29. 2021.

  Details about A Greedy Algorithm for Dropping Digits | BibTeX data for A Greedy Algorithm for Dropping Digits | DOI (10.1017/S0956796821000198)

• [2]

  An Optimal‚ Purely Functional Implementation of the Garsia−Wachs Algorithm

  Richard S. Bird

  In Journal of Functional Programming. Vol. 30. Pages e3. 2020.

  Details about An Optimal‚ Purely Functional Implementation of the Garsia−Wachs Algorithm | BibTeX data for An Optimal‚ Purely Functional Implementation of the Garsia−Wachs Algorithm | DOI (10.1017/S0956796819000194)

• [3]

  How to Find a Fake Coin

  Richard S. Bird

  In Journal of Functional Programming. Vol. 29. Pages e8. 2019.

  Details about How to Find a Fake Coin | BibTeX data for How to Find a Fake Coin | DOI (10.1017/S0956796819000030)

• [4]

  How to Mingle Streams

  Richard S. Bird

  In Journal of Functional Programming. Vol. 25. Pages e4. 2015.

  Details about How to Mingle Streams | BibTeX data for How to Mingle Streams | DOI (10.1017/S0956796815000064)

• [5]

  An In−Situ Algorithm for Expanding a Graph

  Richard S. Bird

  In Journal of Functional Programming. Vol. 23. No. 2. Pages 174−184. 2013.

  Details about An In−Situ Algorithm for Expanding a Graph | BibTeX data for An In−Situ Algorithm for Expanding a Graph | DOI (10.1017/S0956796812000457)

• [6]

  On Building Cyclic and Shared Structures in Haskell

  Richard S. Bird

  In Formal Aspects of Computing. Vol. 24. No. 4−6. Pages 609−621. 2012.

  Details about On Building Cyclic and Shared Structures in Haskell | BibTeX data for On Building Cyclic and Shared Structures in Haskell | DOI (10.1007/s00165-012-0243-6)

• [7]

  Building a Consensus: A Rectangle Covering Problem

  Richard S. Bird

  In Journal of Functional Programming. Vol. 21. No. 2. Pages 119−128. 2011.

  Details about Building a Consensus: A Rectangle Covering Problem | BibTeX data for Building a Consensus: A Rectangle Covering Problem | DOI (10.1017/S0956796810000316)

• [8]

  A simple division−free algorithm for computing determinants

  Richard S. Bird

  In Information Processing Letters. 2011.

  Details about A simple division−free algorithm for computing determinants | BibTeX data for A simple division−free algorithm for computing determinants | DOI (10.1016/j.ipl.2011.08.006) | Link to A simple division−free algorithm for computing determinants

• [9]

  Spider Spinning for Dummies

  Richard S. Bird

  Vol. 5832 of Lecture Notes in Computer Science. Pages 39−65. 2008.

  Details about Spider Spinning for Dummies | BibTeX data for Spider Spinning for Dummies | DOI (10.1007/978-3-642-04652-0_2)

• [10]

  Minimal On−line List Labelling

  Richard S. Bird and Stefan Sadnicki

  In Information Processing Letters. Vol. 101. No. 1. Pages 41−45. 2007.

  Details about Minimal On−line List Labelling | BibTeX data for Minimal On−line List Labelling

• [11]

  A Program to Solve Sudoku

  Richard S. Bird

  In Journal of Functional Programming. Vol. 16. No. 6. Pages 671−679. 2006.

  Details about A Program to Solve Sudoku | BibTeX data for A Program to Solve Sudoku | DOI (10.1017/S0956796806006058)

• [12]

  Enumerating the Rationals

  Jeremy Gibbons‚ David Lester and Richard Bird

  In Journal of Functional Programming. Vol. 16. No. 3. Pages 281−292. 2006.

  Details about Enumerating the Rationals | BibTeX data for Enumerating the Rationals | Download (pdf) of Enumerating the Rationals

• [13]

  Finding Celebrities: A Lesson in Functional Programming

  Richard S. Bird and Sharon Curtis

  In Journal of Functional Programming. Vol. 16. No. 1. Pages 13−20. 2006.

  Details about Finding Celebrities: A Lesson in Functional Programming | BibTeX data for Finding Celebrities: A Lesson in Functional Programming | DOI (10.1017/S0956796805005678)

• [14]

  Countdown: A Case Study in Origami Programming

  Richard S. Bird and Shin−Cheng Mu

  In Journal of Functional Programming. Vol. 15. No. 5. Pages 679−702. 2005.

  Details about Countdown: A Case Study in Origami Programming | BibTeX data for Countdown: A Case Study in Origami Programming | DOI (10.1017/S0956796805005642)

• [15]

  Inverting the Burrows−Wheeler Transform

  Richard S. Bird and Shin−Cheng Mu

  In Journal of Functional Programming. Vol. 14. No. 6. Pages 603−612. 2004.

  Earlier version appeared at Haskell Workshop 2001

  Details about Inverting the Burrows−Wheeler Transform | BibTeX data for Inverting the Burrows−Wheeler Transform | DOI (10.1017/S0956796804005118) | Download (pdf) of Inverting the Burrows−Wheeler Transform

• [16]

  On Tiling a Chessboard

  Richard S. Bird

  In Journal of Functional Programming. Vol. 14. No. 6. Pages 613−622. 2004.

  Details about On Tiling a Chessboard | BibTeX data for On Tiling a Chessboard | DOI (10.1017/S095679680400512X)

• [17]

  Theory and Applications of Inverting Functions as Folds

  Shin−Cheng Mu and Richard S. Bird

  In Science of Computer Programming. Vol. 51. No. 1−2. Pages 87−116. 2004.

  Details about Theory and Applications of Inverting Functions as Folds | BibTeX data for Theory and Applications of Inverting Functions as Folds | DOI (10.1016/j.scico.2003.09.003)

• [18]

  Maximum Marking Problems

  Richard S. Bird

  In Journal of Functional Programming. Vol. 11. No. 4. Pages 411−424. 2001.

  Details about Maximum Marking Problems | BibTeX data for Maximum Marking Problems | DOI (10.1017/S0956796801004038) | Download (pdf) of Maximum Marking Problems

• [19]

  Unfolding Pointer Algorithms

  Richard S. Bird

  In Journal of Functional Programming. Vol. 11. No. 3. Pages 347−358. 2001.

  Details about Unfolding Pointer Algorithms | BibTeX data for Unfolding Pointer Algorithms | DOI (10.1017/S0956796801003914) | Download (pdf) of Unfolding Pointer Algorithms

• [20]

  de Bruijn Notation as a Nested Datatype

  Richard S. Bird and Ross Paterson

  In Journal of Functional Programming. Vol. 9. No. 1. Pages 77–91. 1999.

  Details about de Bruijn Notation as a Nested Datatype | BibTeX data for de Bruijn Notation as a Nested Datatype | DOI (10.1017/S0956796899003366) | Download (pdf) of de Bruijn Notation as a Nested Datatype

• [21]

  Generalised Folds for Nested Datatypes

  Richard Bird and Ross Paterson

  In Formal Aspects of Computing. Vol. 11. Pages 200–222. 1999.

  Details about Generalised Folds for Nested Datatypes | BibTeX data for Generalised Folds for Nested Datatypes | Download (pdf) of Generalised Folds for Nested Datatypes

• [22]

  Meertens' Number

  Richard S. Bird

  In Journal of Functional Programming. Vol. 8. No. 1. Pages 83−88. 1998.

  Details about Meertens' Number | BibTeX data for Meertens' Number | DOI (10.1017/S0956796897002931)

• [23]

  On Computing Representatives

  Richard S. Bird and Jesús N. Ravelo

  In Information Processing Letters. Vol. 63. Pages 1–7. 1997.

  Details about On Computing Representatives | BibTeX data for On Computing Representatives | DOI (10.1016/S0020-0190(97)00087-2)

• [24]

  More Haste‚ Less Speed: Lazy Versus Eager Evaluation

  Richard S. Bird‚ Geraint Jones and Oege de Moor

  In Journal of Functional Programming. Vol. 7. No. 5. Pages 541–547. 1997.

  Details about More Haste‚ Less Speed: Lazy Versus Eager Evaluation | BibTeX data for More Haste‚ Less Speed: Lazy Versus Eager Evaluation | DOI (10.1017/S0956796897002827) | Download (pdf) of More Haste‚ Less Speed: Lazy Versus Eager Evaluation

• [25]

  On Building Trees with Minimum Height

  Richard S. Bird

  In Journal of Functional Programming. Vol. 7. No. 4. Pages 441–445. 1997.

  Details about On Building Trees with Minimum Height | BibTeX data for On Building Trees with Minimum Height | DOI (10.1017/S0956796897002803)

• [26]

  On Merging and Selection

  Richard S. Bird

  In Journal of Functional Programming. Vol. 7. No. 3. Pages 349–354. 1997.

  Details about On Merging and Selection | BibTeX data for On Merging and Selection | DOI (10.1017/S0956796897002736)

• [27]

  Generic Functional Programming with Types and Relations

  Richard Bird‚ Oege de Moor and Paul Hoogendijk

  In Journal of Functional Programming. Vol. 6. No. 1. Pages 1–28. 1996.

  Details about Generic Functional Programming with Types and Relations | BibTeX data for Generic Functional Programming with Types and Relations | Download (pdf) of Generic Functional Programming with Types and Relations

• [28]

  Functional Algorithm Design

  Richard S. Bird

  In Science of Computer Programming. Vol. 26. No. 1−3. Pages 15–31. 1996.

  Details about Functional Algorithm Design | BibTeX data for Functional Algorithm Design | DOI (10.1016/0167-6423(95)00033-X)

• [29]

  The Last Tail

  R. S. Bird

  In Journal of Functional Programming. Vol. 3. No. 1. Pages 117–122. 1993.

  Details about The Last Tail | BibTeX data for The Last Tail

• [30]

  List Partitions

  Richard S. Bird and Oege de Moor

  In Formal Aspects of Computing. Vol. 5. Pages 61–78. 1993.

  Details about List Partitions | BibTeX data for List Partitions | DOI (10.1007/BF01211316)

• [31]

  Unravelling Greedy Algorithms

  Richard S. Bird

  In Journal of Functional Programming. Vol. 2. No. 3. Pages 375–385. 1992.

  Details about Unravelling Greedy Algorithms | BibTeX data for Unravelling Greedy Algorithms

• [32]

  Two Greedy Algorithms

  Richard S. Bird

  In Journal of Functional Programming. Vol. 2. No. 2. Pages 237–244. 1992.

  Details about Two Greedy Algorithms | BibTeX data for Two Greedy Algorithms

• [33]

  The Smallest Upravel

  Richard S. Bird

  In Science of Computer Programming. Vol. 18. Pages 281–292. 1992.

  Details about The Smallest Upravel | BibTeX data for The Smallest Upravel | DOI (10.1016/0167-6423(92)90020-C)

• [34]

  The Minout Problem

  Richard S. Bird

  In Journal of Functional Programming. Vol. 1. No. 1. Pages 121–124. January, 1991.

  Details about The Minout Problem | BibTeX data for The Minout Problem

• [35]

  On Removing Duplicates

  Richard S. Bird

  In Journal of Functional Programming. Vol. 1. No. 2. Pages 235−243. 1991.

  Details about On Removing Duplicates | BibTeX data for On Removing Duplicates

• [36]

  Formal Derivation of a Pattern Matching Algorithm

  Richard S. Bird‚ Jeremy Gibbons and Geraint Jones

  In Science of Computer Programming. Vol. 12. No. 2. Pages 93–104. July, 1989.

  Details about Formal Derivation of a Pattern Matching Algorithm | BibTeX data for Formal Derivation of a Pattern Matching Algorithm | DOI (10.1016/0167-6423(89)90036-1)

• [37]

  Algebraic Identities for Program Calculation

  Richard S. Bird

  In Computer Journal. Vol. 32. No. 2. Pages 122–126. April, 1989.

  Details about Algebraic Identities for Program Calculation | BibTeX data for Algebraic Identities for Program Calculation | DOI (10.1093/comjnl/32.2.122)

• [38]

  A Formal Development of an Efficient Supercombinator Compiler

  R. S. Bird

  In Science of Computer Programming. Vol. 8. Pages 113–137. 1987.

  Details about A Formal Development of an Efficient Supercombinator Compiler | BibTeX data for A Formal Development of an Efficient Supercombinator Compiler | DOI (10.1016/0167-6423(87)90017-7)

• [39]

  The Alpha−Beta Algorithm: An Exercise in Program Transformation

  Richard S. Bird and John Hughes

  In Information Processing Letters. Vol. 24. No. 1. Pages 53–57. January, 1987.

  Details about The Alpha−Beta Algorithm: An Exercise in Program Transformation | BibTeX data for The Alpha−Beta Algorithm: An Exercise in Program Transformation | DOI (10.1016/0020-0190(87)90198-0)

• [40]

  Transformational Programming and the Paragraph Problem

  Richard S. Bird

  In Science of Computer Programming. Vol. 6. Pages 159–189. 1986.

  Details about Transformational Programming and the Paragraph Problem | BibTeX data for Transformational Programming and the Paragraph Problem | DOI (10.1016/0167-6423(86)90023-7)

• [41]

  Addendum to “The Promotion and Accumulation Strategies in Transformational Programming”

  Richard S. Bird

  In ACM Transactions on Programming Languages and Systems. Vol. 7. No. 3. Pages 490–492. July, 1985.

  Details about Addendum to “The Promotion and Accumulation Strategies in Transformational Programming” | BibTeX data for Addendum to “The Promotion and Accumulation Strategies in Transformational Programming”

• [42]

  The Promotion and Accumulation Strategies in Transformational Programming

  Richard S. Bird

  In ACM Transactions on Programming Languages and Systems. Vol. 6. No. 4. Pages 487–504. October, 1984.

  See also Bird85:Promotion

  Details about The Promotion and Accumulation Strategies in Transformational Programming | BibTeX data for The Promotion and Accumulation Strategies in Transformational Programming | DOI (10.1145/1780.1781)

• [43]

  Using Circular Programs to Eliminate Multiple Traversals of Data

  Richard S. Bird

  In Acta Informatica. Vol. 21. Pages 239–250. 1984.

  Details about Using Circular Programs to Eliminate Multiple Traversals of Data | BibTeX data for Using Circular Programs to Eliminate Multiple Traversals of Data | DOI (10.1007/BF00264249)

• [44]

  Surveyor's Forum: A Recurring Bug

  Richard S. Bird

  In ACM Computing Surveys. Vol. 13. No. 2. Pages 243. 1981.

  Details about Surveyor's Forum: A Recurring Bug | BibTeX data for Surveyor's Forum: A Recurring Bug | DOI (10.1145/356842.356848)

• [45]

  The Jogger's Problem

  Richard S. Bird

  In Information Processing Letters. Vol. 13. No. 3. Pages 114–117. 1981.

  Details about The Jogger's Problem | BibTeX data for The Jogger's Problem | DOI (10.1016/0020-0190(81)90122-8)

• [46]

  Tabulation Techniques for Recursive Programs

  Richard S. Bird

  In ACM Computing Surveys. Vol. 12. No. 4. Pages 403–417. December, 1980.

  See DBLP:journals/csur/Bird81

  Details about Tabulation Techniques for Recursive Programs | BibTeX data for Tabulation Techniques for Recursive Programs | DOI (10.1145/356827.356831)

• [47]

  Recursion Elimination with Variable Parameters

  Richard S. Bird

  In Computer Journal. Vol. 22. No. 2. Pages 151–154. 1979.

  Details about Recursion Elimination with Variable Parameters | BibTeX data for Recursion Elimination with Variable Parameters | DOI (10.1093/comjnl/22.2.151)

• [48]

  Improving Programs by the Introduction of Recursion

  Richard S. Bird

  In Communications of the ACM. Vol. 20. No. 11. Pages 856–863. November, 1977.

  Details about Improving Programs by the Introduction of Recursion | BibTeX data for Improving Programs by the Introduction of Recursion | DOI (10.1145/359863.359889)

• [49]

  Two−Dimensional Pattern Matching

  Richard S. Bird

  In Information Processing Letters. Vol. 6. No. 5. Pages 168–170. 1977.

  Details about Two−Dimensional Pattern Matching | BibTeX data for Two−Dimensional Pattern Matching | DOI (10.1016/0020-0190(77)90017-5)

• [50]

  Notes on Recursion Elimination

  Richard S. Bird

  In Communications of the ACM. Vol. 20. No. 6. Pages 434–439. 1977.

  Details about Notes on Recursion Elimination | BibTeX data for Notes on Recursion Elimination | DOI (10.1145/359605.359630)

• [51]

  Non Recursive Functionals

  Richard Bird

  In Zeitschrift für mathematische Logik und Grundlagen der Mathematik. Vol. 21. Pages 41–46. 1975.

  Details about Non Recursive Functionals | BibTeX data for Non Recursive Functionals | DOI (10.1002/malq.19750210105)

• [52]

  Speeding Up Programs

  Richard S. Bird

  In Computer Journal. Vol. 17. No. 4. Pages 337–339. 1974.

  Details about Speeding Up Programs | BibTeX data for Speeding Up Programs

• [53]

  On Transformations of Programs

  Richard Bird

  In Journal of Computer and System Sciences. Vol. 8. Pages 22−35. 1974.

  Details about On Transformations of Programs | BibTeX data for On Transformations of Programs

• [54]

  A Note on Definition by Cases

  Richard Bird

  In Zeitschrift für mathematische Logik und Grundlagen der Mathematik. Vol. 19. Pages 207–208. 1973.

  Details about A Note on Definition by Cases | BibTeX data for A Note on Definition by Cases | DOI (10.1002/malq.19730191304)

• [55]

  Integers with Given Initial Digits

  Richard Bird

  In American Mathematical Monthly. Vol. 79. Pages 367−370. 1972.

  Details about Integers with Given Initial Digits | BibTeX data for Integers with Given Initial Digits | DOI (10.2307/2978087) | Link to Integers with Given Initial Digits

Conference papers

• [1]

  How to Calculate with Nondeterministic Functions

  Richard S. Bird and Florian Rabe

  In Graham Hutton, editor, Mathematics of Program Construction. Vol. 11825. Pages 138−154. Springer. 2019.

  Details about How to Calculate with Nondeterministic Functions | BibTeX data for How to Calculate with Nondeterministic Functions | DOI (10.1007/978-3-030-33636-3_6)

• [2]

  Understanding Idiomatic Traversals Backwards and Forwards

  Richard Bird‚ Jeremy Gibbons‚ Stefan Mehner‚ Janis Voigtlaender and Tom Schrijvers

  In Haskell Symposium. September, 2013.

  Details about Understanding Idiomatic Traversals Backwards and Forwards | BibTeX data for Understanding Idiomatic Traversals Backwards and Forwards | DOI (10.1145/2503778.2503781) | Download (pdf) of Understanding Idiomatic Traversals Backwards and Forwards

• [3]

  Meeting a Fanclub: A Lattice of Generic Shape Selectors

  Paul F. Hoogendijk Roland Carl Backhouse Richard S. Bird

  In Patrik Jansson and Sibylle Schupp, editors, Workshop on Generic Programming. Pages 73−84. ACM. 2009.

  Details about Meeting a Fanclub: A Lattice of Generic Shape Selectors | BibTeX data for Meeting a Fanclub: A Lattice of Generic Shape Selectors | DOI (10.1145/1596614.1596625)

• [4]

  Zippy Tabulations of Recursive Functions

  Richard S. Bird

  In Philippe Audebaud and Christine Paulin−Mohring, editors, Mathematics of Program Construction. Vol. 5133 of Lecture Notes in Computer Science. Pages 92−109. Springer. 2008.

  Details about Zippy Tabulations of Recursive Functions | BibTeX data for Zippy Tabulations of Recursive Functions | DOI (10.1007/978-3-540-70594-9_7)

• [5]

  Fifteen Years of Functional Pearls

  Richard S. Bird

  In John H. Reppy and Julia L. Lawall, editors, International Conference on Functional Programming. Pages 215. 2006.

  Details about Fifteen Years of Functional Pearls | BibTeX data for Fifteen Years of Functional Pearls | DOI (10.1145/1159803.1159832)

• [6]

  Loopless Functional Algorithms

  Richard S. Bird

  In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 90−114. Springer. 2006.

  Details about Loopless Functional Algorithms | BibTeX data for Loopless Functional Algorithms | DOI (10.1007/11783596_9)

• [7]

  Improving Saddleback Search: A Lesson in Algorithm Design

  Richard S. Bird

  In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 82−89. Springer. 2006.

  Details about Improving Saddleback Search: A Lesson in Algorithm Design | BibTeX data for Improving Saddleback Search: A Lesson in Algorithm Design | DOI (10.1007/11783596_8)

• [8]

  Polymorphic String Matching

  Richard S. Bird

  In Haskell Workshop. Pages 110–115. New York‚ NY‚ USA. 2005. ACM Press.

  Details about Polymorphic String Matching | BibTeX data for Polymorphic String Matching | DOI (10.1145/1088348.1088359)

• [9]

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

  Shin−Cheng Mu and Richard S. Bird

  In Atsushi Ohori, editor, Asian Symposium on Programming Languages and Systems. Vol. 2895 of Lecture Notes in Computer Science. Pages 265−282. Springer. 2003.

  Details about Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion | BibTeX data for Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion | Download (pdf) of Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion

• [10]

  Trouble Shared is Trouble Halved

  Richard Bird and Ralf Hinze

  In Haskell Workshop. Pages 1–6. New York‚ NY‚ USA. 2003. ACM Press.

  Details about Trouble Shared is Trouble Halved | BibTeX data for Trouble Shared is Trouble Halved | DOI (10.1145/871895.871896)

• [11]

  Arithmetic Coding with Folds and Unfolds

  Richard Bird and Jeremy Gibbons

  In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming 4. Vol. 2638 of Lecture Notes in Computer Science. Pages 1−26. Springer−Verlag. 2003.

  Details about Arithmetic Coding with Folds and Unfolds | BibTeX data for Arithmetic Coding with Folds and Unfolds | Download (pdf) of Arithmetic Coding with Folds and Unfolds

• [12]

  Inverting Functions as Folds

  Shin−Cheng Mu and Richard S. Bird

  In Eerke A. Boiten and Bernhard Möller, editors, Mathematics of Program Construction. Vol. 2386 of Lecture Notes in Computer Science. Pages 209−232. Springer. 2002.

  Details about Inverting Functions as Folds | BibTeX data for Inverting Functions as Folds | Download (pdf) of Inverting Functions as Folds

• [13]

  Functional Quantum Programming

  Shin−Cheng Mu and Richard Bird

  In Asian Workshop on Programming Languages and Systems. KAIST‚ Dajeaon‚ Korea. December, 2001.

  Details about Functional Quantum Programming | BibTeX data for Functional Quantum Programming | Download (pdf) of Functional Quantum Programming

• [14]

  On Building Trees with Minimum Height‚ Relationally

  Shin−Cheng Mu and Richard Bird

  In First Asian Workshop on Programming Languages and Systems. 2000.

  Details about On Building Trees with Minimum Height‚ Relationally | BibTeX data for On Building Trees with Minimum Height‚ Relationally | Download (pdf) of On Building Trees with Minimum Height‚ Relationally

• [15]

  Program Optimisation‚ Naturally

  Richard Bird‚ Jeremy Gibbons and Geraint Jones

  In J. W. Davies‚ A. W. Roscoe and J. C. P. Woodcock, editors, Millenial Perspectives in Computer Science. Palgrave. 2000.

  Details about Program Optimisation‚ Naturally | BibTeX data for Program Optimisation‚ Naturally | Link to Program Optimisation‚ Naturally

• [16]

  Nested Datatypes

  Richard S. Bird and Lambert Meertens

  In Johan Jeuring, editor, LNCS 1422: Proceedings of Mathematics of Program Construction. Pages 52–67. Marstrand‚ Sweden. June, 1998. Springer−Verlag.

  Details about Nested Datatypes | BibTeX data for Nested Datatypes | Download (pdf) of Nested Datatypes

• [17]

  Allegories as a Basis for Algorithmics

  Richard S. Bird

  In Eugenio Moggi and Guiseppe Rosolini, editors, LNCS 1290: Category Theory and Computer Science. Pages 34–46. Springer−Verlag. September, 1997.

  Details about Allegories as a Basis for Algorithmics | BibTeX data for Allegories as a Basis for Algorithmics | DOI (10.1007/BFb0026979)

• [18]

  Functional Algorithm Design

  Richard S. Bird

  In Mathematics of Program Construction. Vol. 947 of Lecture Notes in Computer Science. Pages 2−17. Springer. 1995.

  Details about Functional Algorithm Design | BibTeX data for Functional Algorithm Design | DOI (10.1007/3-540-60117-1_2)

• [19]

  Solving Optimisation Problems with Catamorphisms

  Richard S. Bird and Oege de Moor

  In Mathematics of Program Construction. Vol. 669 of Lecture Notes in Computer Science. Pages 45–66. Springer. 1993.

  Details about Solving Optimisation Problems with Catamorphisms | BibTeX data for Solving Optimisation Problems with Catamorphisms | DOI (10.1007/3-540-56625-2_7) | Download (pdf) of Solving Optimisation Problems with Catamorphisms

• [20]

  From Dynamic Programming to Greedy Algorithms

  Richard S. Bird and Oege de Moor

  In Bernhard Möller‚ Helmut Partsch and Steve Schumann, editors, IFIP TC2/WG2.1 State−of−the−Art Report on Formal Program Development. Vol. 755 of Lecture Notes in Computer Science. Springer−Verlag. 1993.

  Details about From Dynamic Programming to Greedy Algorithms | BibTeX data for From Dynamic Programming to Greedy Algorithms | DOI (10.1007/3-540-57499-9_16) | Download (pdf) of From Dynamic Programming to Greedy Algorithms

• [21]

  Knuth's Problem

  Richard S. Bird

  In B. Möller, editor, IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications. Pages 1–8. North−Holland. 1991.

  Details about Knuth's Problem | BibTeX data for Knuth's Problem

• [22]

  Lectures on Constructive Functional Programming

  Richard S. Bird

  In Manfred Broy, editor, Constructive Methods in Computer Science. Pages 151–218. Springer−Verlag. 1988.

  NATO ASI Series F Volume 55. Also available as Technical Monograph PRG−69‚ from the Programming Research Group‚ Oxford University

  Details about Lectures on Constructive Functional Programming | BibTeX data for Lectures on Constructive Functional Programming

Theses

• [1]

  Computational Complexity on Register Machines

  Richard Simpson Bird

  PhD Thesis October, 1973.

  Details about Computational Complexity on Register Machines | BibTeX data for Computational Complexity on Register Machines | Download  (pdf) of Computational Complexity on Register Machines | Link to Computational Complexity on Register Machines

Miscellaneous

• [1]

  Be Kind‚ Rewind: A Modest Proposal about Traversal

  Jeremy Gibbons and Richard Bird

  May, 2012.

  Submitted for publication (but rejected)

  Details about Be Kind‚ Rewind: A Modest Proposal about Traversal | BibTeX data for Be Kind‚ Rewind: A Modest Proposal about Traversal | Download (pdf) of Be Kind‚ Rewind: A Modest Proposal about Traversal

• [2]

  Hybrid Dynamic Programming

  Richard Bird and Oege de Moor

  1994.

  Programming Research Group‚ Oxford

  Details about Hybrid Dynamic Programming | BibTeX data for Hybrid Dynamic Programming