Richard Bird : Publications

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)

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)

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

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)

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)

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)

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)

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

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

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)

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

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)

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)

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

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

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)

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)

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)

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

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)

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

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)

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)

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)

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)

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)

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)

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

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)

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)

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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)

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)

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)

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

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)

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)

IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi

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

Details about IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi | BibTeX data for IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi

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

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

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)

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)

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

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

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

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

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)

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

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

Mathematics of Program Construction

Richard S. Bird‚ Carroll Morgan and Jim Woodcock, editors

Details about Mathematics of Program Construction | BibTeX data for Mathematics of Program Construction | DOI (10.1007/3-540-56625-2)

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

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

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)

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

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

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

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

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

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)

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)

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

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

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)

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)

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

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

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)

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”

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)

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)

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)

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)

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)

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)

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)

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)

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)

Programs and Machines

Richard Bird

Wiley. 1976.

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

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)

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

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

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

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)

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