publications:
- title: "The Promotion and Accumulation Strategies in Transformational Programming"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/1780.1781"
  links:
    doi: "http://doi.acm.org/10.1145/1780.1781"
  tags:
  - "programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Bird84%3A0"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "6"
  number: "4"
  pages: "487-504"
  kind: "article"
  key: "Bird84:0"
- title: "Countdown: A case study in Origami programming"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  year: "2005"
  doi: "http://dx.doi.org/10.1017/S0956796805005642"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796805005642"
  tags:
  - "case study"
  - "programming"
  researchr: "https://researchr.org/publication/BirdM05"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "15"
  number: "5"
  pages: "679-702"
  kind: "article"
  key: "BirdM05"
- title: "Functional Pearls: The Last Tail"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1993"
  researchr: "https://researchr.org/publication/Bird93%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "3"
  number: "1"
  pages: "117-122"
  kind: "article"
  key: "Bird93:0"
- title: "Maximum marking problems"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2001"
  researchr: "https://researchr.org/publication/Bird01a"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "11"
  number: "4"
  pages: "411-424"
  kind: "article"
  key: "Bird01a"
- title: "Arithmetic Coding with Folds and Unfolds"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=1"
  researchr: "https://researchr.org/publication/BirdG02"
  cites: 0
  citedby: 0
  pages: "1-26"
  booktitle: "Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  volume: "2638"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40132-6"
  kind: "inproceedings"
  key: "BirdG02"
- title: "Functional Quantum Programming"
  author:
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2001"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/MuB01"
  cites: 0
  citedby: 0
  pages: "75-88"
  booktitle: "The Second Asian Workshop on Programming Languages and Systems, APLAS 01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings"
  kind: "inproceedings"
  key: "MuB01"
- title: "Minimal on-line labelling"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Stefan Sadnicki"
    link: "https://researchr.org/alias/stefan-sadnicki"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.ipl.2006.07.011"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2006.07.011"
  researchr: "https://researchr.org/publication/BirdS07"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "101"
  number: "1"
  pages: "41-45"
  kind: "article"
  key: "BirdS07"
- title: "Speeding up Programs"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1974"
  researchr: "https://researchr.org/publication/Bird74"
  cites: 0
  citedby: 0
  journal: "Comput. J."
  volume: "17"
  number: "4"
  pages: "337-339"
  kind: "article"
  key: "Bird74"
- title: "Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion"
  author:
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2895&spage=265"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2895&spage=265"
  tags:
  - "case study"
  - "traversal"
  researchr: "https://researchr.org/publication/MuB03"
  cites: 0
  citedby: 0
  pages: "265-282"
  booktitle: "Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings"
  editor:
  - name: "Atsushi Ohori"
    link: "https://researchr.org/alias/atsushi-ohori"
  volume: "2895"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20536-5"
  kind: "inproceedings"
  key: "MuB03"
- title: "Improving Saddleback Search: A Lesson in Algorithm Design"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_8"
  links:
    doi: "http://dx.doi.org/10.1007/11783596_8"
  tags:
  - "search"
  - "design"
  researchr: "https://researchr.org/publication/Bird06%3A2"
  cites: 0
  citedby: 0
  pages: "82-89"
  booktitle: "Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings"
  editor:
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  volume: "4014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35631-2"
  kind: "inproceedings"
  key: "Bird06:2"
- title: "Inverting Functions as Folds"
  author:
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2386/23860209.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2386/23860209.htm"
  researchr: "https://researchr.org/publication/MuB02"
  cites: 0
  citedby: 0
  pages: "209-232"
  booktitle: "Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings"
  editor:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  volume: "2386"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43857-2"
  kind: "inproceedings"
  key: "MuB02"
- title: "Two Dimensional Pattern Matching"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1977"
  tags:
  - "pattern matching"
  researchr: "https://researchr.org/publication/Bird77%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "6"
  number: "5"
  pages: "168-170"
  kind: "article"
  key: "Bird77:0"
- title: "Theory and applications of inverting functions as folds"
  author:
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.scico.2003.09.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2003.09.003"
  researchr: "https://researchr.org/publication/MuB04"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "51"
  number: "1-2"
  pages: "87-116"
  kind: "article"
  key: "MuB04"
- title: "A Formal Development of an Efficient Subercombinator Compiler"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1987"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/Bird87"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "8"
  number: "2"
  pages: "113-137"
  kind: "article"
  key: "Bird87"
- title: "Understanding idiomatic traversals backwards and forwards"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Stefan Mehner"
    link: "http://wob.iai.uni-bonn.de/Wob/en/view/class217_id1467.html"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2503778.2503781"
  abstract: "We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals. Starting out with a specific problem about labelling and unlabelling binary trees, we extract a general inversion law, applicable to any monad, relating a traversal over the elements of an arbitrary traversable type to a traversal that goes in the opposite direction. This law can be invoked to show that, in a suitable sense, unlabelling is the inverse of labelling. The inversion law, as well as a number of other properties of idiomatic traversals, is a corollary of a more general theorem characterising traversable functors as finitary containers: an arbitrary traversable object can be decomposed uniquely into shape and contents, and traversal be understood in terms of those. Proof of the theorem involves the properties of traversal in a special idiom related to the free applicative functor."
  links:
    doi: "http://doi.acm.org/10.1145/2503778.2503781"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/BirdGMVS13"
  researchr: "https://researchr.org/publication/BirdGMVS13"
  cites: 0
  citedby: 0
  pages: "25-36"
  booktitle: "Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013"
  editor:
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  publisher: "ACM"
  isbn: "978-1-4503-2383-3"
  kind: "inproceedings"
  key: "BirdGMVS13"
- title: "Meertens Number"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1998"
  researchr: "https://researchr.org/publication/Bird98"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "8"
  number: "1"
  pages: "83-88"
  kind: "article"
  key: "Bird98"
- title: "The Smallest Upravel"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1992"
  researchr: "https://researchr.org/publication/Bird92%3A1"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "18"
  number: "3"
  pages: "281-292"
  kind: "article"
  key: "Bird92:1"
- title: "Generalised folds for nested datatypes"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Ross Paterson"
    link: "https://researchr.org/alias/ross-paterson"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/9011002/90110200.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/9011002/90110200.htm"
  researchr: "https://researchr.org/publication/BirdP99%3A0"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "11"
  number: "2"
  pages: "200-222"
  kind: "article"
  key: "BirdP99:0"
- title: "Solving Optimisation Problems with Catamorphism"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "1992"
  researchr: "https://researchr.org/publication/BirdM92"
  cites: 0
  citedby: 0
  pages: "45-66"
  booktitle: "Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings"
  editor:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Carroll Morgan"
    link: "https://researchr.org/alias/carroll-morgan"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "669"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56625-2"
  kind: "inproceedings"
  key: "BirdM92"
- title: "On Removing Duplicates"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1991"
  researchr: "https://researchr.org/publication/Bird91a"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "1"
  number: "2"
  pages: "235-243"
  kind: "article"
  key: "Bird91a"
- title: "Allegories as a Basis for Algorithmics"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1997"
  researchr: "https://researchr.org/publication/Bird97%3A0"
  cites: 0
  citedby: 0
  pages: "34-46"
  booktitle: "Category Theory and Computer Science, 7th International Conference, CTCS  97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings"
  editor:
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "Giuseppe Rosolini"
    link: "https://researchr.org/alias/giuseppe-rosolini"
  volume: "1290"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63455-X"
  kind: "inproceedings"
  key: "Bird97:0"
- title: "Formal Derivation of a Pattern Matching Algorithm"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Geraint Jones"
    link: "https://researchr.org/alias/geraint-jones"
  year: "1989"
  tags:
  - "pattern matching"
  researchr: "https://researchr.org/publication/BirdGJ89"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "12"
  number: "2"
  pages: "93-104"
  kind: "article"
  key: "BirdGJ89"
- title: "List Partitions"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "1993"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/BirdM93%3A0"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "5"
  number: "1"
  pages: "61-78"
  kind: "article"
  key: "BirdM93:0"
- title: "Unravelling Greedy Algorithms"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1992"
  researchr: "https://researchr.org/publication/Bird92a"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "2"
  number: "3"
  pages: "375-385"
  kind: "article"
  key: "Bird92a"
- title: "Functional Algorithm Design"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1996"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Bird96"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "26"
  number: "1-3"
  pages: "15-31"
  kind: "article"
  key: "Bird96"
- title: "On Building Trees with Minimum Height"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1997"
  researchr: "https://researchr.org/publication/Bird97a"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "7"
  number: "4"
  pages: "441-445"
  kind: "article"
  key: "Bird97a"
- title: "Unfolding pointer algorithms"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2001"
  researchr: "https://researchr.org/publication/Bird01"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "11"
  number: "3"
  pages: "347-358"
  kind: "article"
  key: "Bird01"
- title: "Functional Pearl: A program to solve Sudoku"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796806006058"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796806006058"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/Bird06%3A1"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "16"
  number: "6"
  pages: "671-679"
  kind: "article"
  key: "Bird06:1"
- title: "Notes on Recursion Elimination"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1977"
  researchr: "https://researchr.org/publication/Bird77"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "20"
  number: "6"
  pages: "434-439"
  kind: "article"
  key: "Bird77"
- title: "Addendum to   The Promotion and Accumulation Strategies in Transformational Programming  "
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1985"
  tags:
  - "programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Bird85"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "7"
  number: "3"
  pages: "490-492"
  kind: "article"
  key: "Bird85"
- title: "Loopless Functional Algorithms"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_9"
  links:
    doi: "http://dx.doi.org/10.1007/11783596_9"
  researchr: "https://researchr.org/publication/Bird06a"
  cites: 0
  citedby: 0
  pages: "90-114"
  booktitle: "Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings"
  editor:
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  volume: "4014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35631-2"
  kind: "inproceedings"
  key: "Bird06a"
- title: "Fifteen years of functional pearls"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159803.1159832"
  links:
    doi: "http://doi.acm.org/10.1145/1159803.1159832"
  researchr: "https://researchr.org/publication/Bird06"
  cites: 0
  citedby: 0
  pages: "215"
  booktitle: "Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006"
  editor:
  - name: "John H. Reppy"
    link: "http://www.cs.uchicago.edu/people/jhr"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  publisher: "ACM"
  isbn: "1-59593-309-3"
  kind: "inproceedings"
  key: "Bird06"
- title: "On Transformations of Programs"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1974"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Bird74%3A0"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "8"
  number: "1"
  pages: "22-35"
  kind: "article"
  key: "Bird74:0"
- title: "Two Greedy Algorithms"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1992"
  researchr: "https://researchr.org/publication/Bird92%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "2"
  number: "2"
  pages: "237-244"
  kind: "article"
  key: "Bird92:0"
- title: "On Merging and Selection"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1997"
  researchr: "https://researchr.org/publication/Bird97"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "7"
  number: "3"
  pages: "349-354"
  kind: "article"
  key: "Bird97"
- title: "More Haste, Less Speed: Lazy Versus Eager Evaluation"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Geraint Jones"
    link: "https://researchr.org/alias/geraint-jones"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "1997"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/BirdJM97"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "7"
  number: "5"
  pages: "541-547"
  kind: "article"
  key: "BirdJM97"
- title: "The Minout Problem"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1991"
  researchr: "https://researchr.org/publication/Bird91"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "1"
  number: "1"
  pages: "121-124"
  kind: "article"
  key: "Bird91"
- title: "Algebraic Methods for Optimization Problems"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2297/22970281.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2297/22970281.htm"
  tags:
  - "optimization"
  - " algebra"
  researchr: "https://researchr.org/publication/BirdGM00"
  cites: 0
  citedby: 0
  pages: "281-308"
  booktitle: "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Roy L. Crole"
    link: "https://researchr.org/alias/roy-l.-crole"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "2297"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43613-8"
  kind: "inproceedings"
  key: "BirdGM00"
- title: "The Jogger s Problem"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1981"
  researchr: "https://researchr.org/publication/Bird81%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "13"
  number: "3"
  pages: "114-117"
  kind: "article"
  key: "Bird81:0"
- title: "Surveyor s Forum: A Recurring Bug"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1981"
  researchr: "https://researchr.org/publication/Bird81"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "13"
  number: "2"
  pages: "243"
  kind: "article"
  key: "Bird81"
- title: "Tabulation Techniques for Recursive Programs"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1980"
  researchr: "https://researchr.org/publication/Bird80"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "12"
  number: "4"
  pages: "403-417"
  kind: "article"
  key: "Bird80"
- title: "Generic Functional Programming with Types and Relations"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Paul F. Hoogendijk"
    link: "https://researchr.org/alias/paul-f.-hoogendijk"
  year: "1996"
  tags:
  - "generic programming"
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/BirdMH96"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "6"
  number: "1"
  pages: "1-28"
  kind: "article"
  key: "BirdMH96"
- title: "Functional Pearl: Enumerating the rationals"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "David Lester"
    link: "https://researchr.org/alias/david-lester"
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796806005880"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796806005880"
  researchr: "https://researchr.org/publication/GibbonsLB06"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "16"
  number: "3"
  pages: "281-291"
  kind: "article"
  key: "GibbonsLB06"
- title: "The algebra of programming"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "1996"
  tags:
  - " algebra"
  - "programming"
  researchr: "https://researchr.org/publication/BirdM96"
  cites: 0
  citedby: 0
  pages: "167-203"
  booktitle: "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany"
  editor:
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  isbn: "3-540-60947-4"
  kind: "inproceedings"
  key: "BirdM96"
- title: "Functional Pearls: Finding celebrities: A lesson in functional programming"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Sharon A. Curtis"
    link: "https://researchr.org/alias/sharon-a.-curtis"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796805005678"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796805005678"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/BirdC06%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "16"
  number: "1"
  pages: "13-20"
  kind: "article"
  key: "BirdC06:0"
- title: "Inverting the Burrows-Wheeler transform"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796804005118"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796804005118"
  researchr: "https://researchr.org/publication/BirdM04"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "14"
  number: "6"
  pages: "603-612"
  kind: "article"
  key: "BirdM04"
- title: "Functional Algorithm Design"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1995"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Bird95"
  cites: 0
  citedby: 0
  pages: "2-17"
  booktitle: "Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings"
  editor:
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  volume: "947"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60117-1"
  kind: "inproceedings"
  key: "Bird95"
- title: "On tiling a chessboard"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S095679680400512X"
  links:
    doi: "http://dx.doi.org/10.1017/S095679680400512X"
  researchr: "https://researchr.org/publication/Bird04"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "14"
  number: "6"
  pages: "613-622"
  kind: "article"
  key: "Bird04"
- title: "Algebraic Identities for Program Calculation"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1989"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Bird89"
  cites: 0
  citedby: 0
  journal: "Comput. J."
  volume: "32"
  number: "2"
  pages: "122-126"
  kind: "article"
  key: "Bird89"
- title: "Polymorphic string matching"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088348.1088359"
  links:
    doi: "http://doi.acm.org/10.1145/1088348.1088359"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/Bird05"
  cites: 0
  citedby: 0
  pages: "110-115"
  booktitle: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005"
  editor:
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  publisher: "ACM"
  isbn: "1-59593-071-X"
  kind: "inproceedings"
  key: "Bird05"
- title: "On Computing Representatives"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jesús N. Ravelo"
    link: "https://researchr.org/alias/jes%C3%BAs-n.-ravelo"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0020-0190(97)00087-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(97)00087-2"
  researchr: "https://researchr.org/publication/BirdR97"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "63"
  number: "1"
  pages: "1-7"
  kind: "article"
  key: "BirdR97"
- title: "From Dynamic Programming to Greedy Algorithms"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "1993"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/BirdM93"
  cites: 0
  citedby: 0
  pages: "43-61"
  booktitle: "Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report"
  editor:
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  - name: "Helmuth Partsch"
    link: "https://researchr.org/alias/helmuth-partsch"
  - name: "Stephen A. Schuman"
    link: "https://researchr.org/alias/stephen-a.-schuman"
  volume: "755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57499-9"
  kind: "inproceedings"
  key: "BirdM93"
- title: "Zippy Tabulations of Recursive Functions"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70594-9_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70594-9_7"
  researchr: "https://researchr.org/publication/Bird08"
  cites: 0
  citedby: 0
  pages: "92-109"
  booktitle: "Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings"
  editor:
  - name: "Philippe Audebaud"
    link: "https://researchr.org/alias/philippe-audebaud"
  - name: "Christine Paulin-Mohring"
    link: "https://researchr.org/alias/christine-paulin-mohring"
  volume: "5133"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70593-2"
  kind: "inproceedings"
  key: "Bird08"
- title: "The alpha-beta Algorithm: An Exercise in Program Transformation"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1987"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/BirdH87"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "24"
  number: "1"
  pages: "53-57"
  kind: "article"
  key: "BirdH87"
- title: "De Bruijn Notation as a Nested Datatype"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Ross Paterson"
    link: "https://researchr.org/alias/ross-paterson"
  year: "1999"
  researchr: "https://researchr.org/publication/BirdP99"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "9"
  number: "1"
  pages: "77-91"
  kind: "article"
  key: "BirdP99"
- title: "Recursion Elimination with Variable Parameters"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1979"
  researchr: "https://researchr.org/publication/Bird79"
  cites: 0
  citedby: 0
  journal: "Comput. J."
  volume: "22"
  number: "2"
  pages: "151-154"
  kind: "article"
  key: "Bird79"
- title: "Nested Datatypes"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Lambert G. L. T. Meertens"
    link: "https://researchr.org/alias/lambert-g.-l.-t.-meertens"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220052.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220052.htm"
  researchr: "https://researchr.org/publication/BirdM98"
  cites: 0
  citedby: 0
  pages: "52-67"
  booktitle: "Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "1422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64591-8"
  kind: "inproceedings"
  key: "BirdM98"
- title: "Using Circular Programs to Eliminate Multiple Traversals of Data"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1984"
  tags:
  - "traversal"
  - "data-flow programming"
  researchr: "https://researchr.org/publication/Bird84"
  cites: 0
  citedby: 1
  journal: "Acta Informatica"
  volume: "21"
  pages: "239-250"
  kind: "article"
  key: "Bird84"
- title: "Improving Programs by the Introduction of Recursion"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1977"
  researchr: "https://researchr.org/publication/Bird77a"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "20"
  number: "11"
  pages: "856-863"
  kind: "article"
  key: "Bird77a"
- title: "Transformational Programming and the Paragraph Problem"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "1986"
  tags:
  - "programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Bird86"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "6"
  number: "2"
  pages: "159-189"
  kind: "article"
  key: "Bird86"
- title: "Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings"
  year: "1993"
  researchr: "https://researchr.org/publication/mpc%3A1992"
  cites: 0
  citedby: 0
  booktitle: "Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings"
  conference: "mpc"
  editor:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Carroll Morgan"
    link: "https://researchr.org/alias/carroll-morgan"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "669"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56625-2"
  kind: "proceedings"
  key: "mpc:1992"
- title: "Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France"
  year: "1997"
  researchr: "https://researchr.org/publication/alc%3A1997"
  cites: 0
  citedby: 0
  booktitle: "Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France"
  editor:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Lambert G. L. T. Meertens"
    link: "https://researchr.org/alias/lambert-g.-l.-t.-meertens"
  volume: "95"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-82050-1"
  kind: "proceedings"
  key: "alc:1997"