Richard Bird: Publications

[1]	Zippy Tabulations of Recursive Functions Richard S. Bird In Philippe Audebaud, Christine Paulin-Mohring, editors, Mathematics of Program Construction Vol. 5133 of Lecture Notes in Computer Science, pages 92-109. Springer, 2008. Details \| BibTeX \| DOI (10.1007/978-3-540-70594-9_7)

[2]	Minimal On-line List Labelling Richard S. Bird, Stefan Sadnicki Information Processing Letters, Vol. 101, No. 1, pages 41-45. 2007. Details \| BibTeX

[3]	A Program to Solve Sudoku Richard S. Bird Journal of Functional Programming, Vol. 16, No. 6, pages 671-679. 2006. Details \| BibTeX \| DOI (10.1017/S0956796806006058)

[4]	Fifteen Years of Functional Pearls Richard S. Bird In John H. Reppy, Julia L. Lawall, editors, International Conference on Functional Programming pages 215. 2006. Details \| BibTeX \| DOI (10.1145/1159803.1159832)

[5]	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 \| BibTeX \| DOI (10.1007/11783596_9)

[6]	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 \| BibTeX \| DOI (10.1007/11783596_8)

[7]	Enumerating the Rationals Jeremy Gibbons, David Lester and Richard Bird Journal of Functional Programming, Vol. 16, No. 3, pages 281-292. 2006. Details \| BibTeX \| Link (pdf)

[8]	Finding Celebrities: A Lesson in Functional Programming Richard S. Bird, Sharon Curtis Journal of Functional Programming, Vol. 16, No. 1, pages 13-20. 2006. Details \| BibTeX \| DOI (10.1017/S0956796805005678)

[9]	Countdown: A Case Study in Origami Programming Richard S. Bird, Shin-Cheng Mu Journal of Functional Programming, Vol. 15, No. 5, pages 679-702. 2005. Details \| BibTeX \| DOI (10.1017/S0956796805005642)

[10]	Polymorphic String Matching Richard S. Bird In Haskell Workshop pages 110—115. New York, NY, USA. 2005. ACM Press. Details \| BibTeX \| DOI (10.1145/1088348.1088359)

[11]	Inverting the Burrows-Wheeler Transform Richard S. Bird, Shin-Cheng Mu Journal of Functional Programming, Vol. 14, No. 6, pages 603-612. 2004. Earlier version appeared at Haskell Workshop 2001. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796804005118)

[12]	On Tiling a Chessboard Richard S. Bird Journal of Functional Programming, Vol. 14, No. 6, pages 613-622. 2004. Details \| BibTeX \| DOI (10.1017/S095679680400512X)

[13]	Theory and Applications of Inverting Functions as Folds Shin-Cheng Mu, Richard S. Bird Science of Computer Programming, Vol. 51, No. 1-2, pages 87-116. 2004. Details \| BibTeX \| DOI (10.1016/j.scico.2003.09.003)

[14]	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion Shin-Cheng Mu, 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 \| BibTeX \| Link (pdf)

[15]	Trouble Shared is Trouble Halved Richard Bird, Ralf Hinze In Haskell Workshop pages 1—6. New York, NY, USA. 2003. ACM Press. Details \| BibTeX \| DOI (10.1145/871895.871896)

[16]	Arithmetic Coding with Folds and Unfolds Richard Bird, Jeremy Gibbons In Johan Jeuring, Simon Peyton Jones, editors, Advanced Functional Programming 4 Vol. 2638 of Lecture Notes in Computer Science, pages 1-26. Springer-Verlag, 2003. Details \| BibTeX \| Link (pdf)

[17]	Inverting Functions as Folds Shin-Cheng Mu, Richard S. Bird In Eerke A. Boiten, Bernhard Möller, editors, Mathematics of Program Construction Vol. 2386 of Lecture Notes in Computer Science, pages 209-232. Springer, 2002. Details \| BibTeX \| Link (pdf)

[18]

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 | BibTeX | Link (pdf)

[19]	Maximum Marking Problems Richard S. Bird Journal of Functional Programming, Vol. 11, No. 4, pages 411-424. 2001. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796801004038)

[20]	Unfolding Pointer Algorithms Richard S. Bird Journal of Functional Programming, Vol. 11, No. 3, pages 347-358. 2001. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796801003914)

[21]	Functional Quantum Programming Shin-Cheng Mu, Richard Bird In Asian Workshop on Programming Languages and Systems KAIST, Dajeaon, Korea. December 2001. Details \| BibTeX \| Link (pdf)

[22]	On Building Trees with Minimum Height, Relationally Shin-Cheng Mu, Richard Bird In First Asian Workshop on Programming Languages and Systems 2000. Details \| BibTeX \| Link (pdf)

[23]	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 \| BibTeX \| Link (ps.gz)

[24]	de Bruijn Notation as a Nested Datatype Richard S. Bird, Ross Paterson Journal of Functional Programming, Vol. 9, No. 1, pages 77—91. 1999. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796899003366)

[25]	Generalised Folds for Nested Datatypes Richard Bird, Ross Paterson Formal Aspects of Computing, Vol. 11, pages 200—222. 1999. Details \| BibTeX \| Link (pdf)

[26]	Nested Datatypes Richard S. Bird, Lambert Meertens In Johan Jeuring, editor, LNCS 1422: Proceedings of Mathematics of Program Construction pages 52—67. Marstrand, Sweden. June 1998. Springer-Verlag. Details \| BibTeX \| Link (pdf)

[27]	Meertens' Number Richard S. Bird Journal of Functional Programming, Vol. 8, No. 1, pages 83-88. 1998. Details \| BibTeX \| DOI (10.1017/S0956796897002931)

[28]	Introduction to Functional Programming Using Haskell Richard S. Bird Prentice-Hall. 1998. Details \| BibTeX \| Link

[29]	IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi Richard S. Bird, Lambert G. L. T. Meertens, editors Vol. 95 of IFIP Conference Proceedings. Chapman & Hall. 1997. Details \| BibTeX

[30]	On Computing Representatives Richard S. Bird, Jesús N. Ravelo Information Processing Letters, Vol. 63, pages 1—7. 1997. Details \| BibTeX \| DOI (10.1016/S0020-0190(97)00087-2)

[31]	More Haste, Less Speed: Lazy Versus Eager Evaluation Richard S. Bird, Geraint Jones and Oege de Moor Journal of Functional Programming, Vol. 7, No. 5, pages 541—547. 1997. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796897002827)

[32]	Allegories as a Basis for Algorithmics Richard S. Bird In Eugenio Moggi, Guiseppe Rosolini, editors, LNCS 1290: Category Theory and Computer Science pages 34—46. Springer-Verlag, September 1997. Details \| BibTeX \| DOI (10.1007/BFb0026979)

[33]	On Building Trees with Minimum Height Richard S. Bird Journal of Functional Programming, Vol. 7, No. 4, pages 441—445. 1997. Details \| BibTeX \| DOI (10.1017/S0956796897002803)

[34]	On Merging and Selection Richard S. Bird Journal of Functional Programming, Vol. 7, No. 3, pages 349—354. 1997. Details \| BibTeX \| DOI (10.1017/S0956796897002736)

[35]	Generic Functional Programming with Types and Relations Richard Bird, Oege de Moor and Paul Hoogendijk Journal of Functional Programming, Vol. 6, No. 1, pages 1—28. 1996. Details \| BibTeX \| Link (pdf)

[36]	The Algebra of Programming Richard Bird, Oege de Moor Prentice-Hall. 1996. Details \| BibTeX \| Link

[37]	Functional Algorithm Design Richard S. Bird Science of Computer Programming, Vol. 26, No. 1-3, pages 15—31. 1996. Details \| BibTeX \| DOI (10.1016/0167-6423(95)00033-X)

[38]	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 \| BibTeX \| DOI (10.1007/3-540-60117-1_2)

[39]	Hybrid Dynamic Programming Richard Bird, Oege de Moor 1994. Programming Research Group, Oxford. Details \| BibTeX

[40]	Relational Program Derivation and Context-Free Language Recognition Richard Bird, 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 \| BibTeX

[41]	The Last Tail R. S. Bird Journal of Functional Programming, Vol. 3, No. 1, pages 117—122. 1993. Details \| BibTeX

[42]	List Partitions Richard S. Bird, Oege de Moor Formal Aspects of Computing, Vol. 5, pages 61—78. 1993. Details \| BibTeX \| DOI (10.1007/BF01211316)

[43]	Mathematics of Program Construction Richard S. Bird, Carroll Morgan and Jim Woodcock, editors Vol. 669 of Lecture Notes in Computer Science. Springer. 1993. Details \| BibTeX \| DOI (10.1007/3-540-56625-2)

[44]	Solving Optimisation Problems with Catamorphisms Richard S. Bird, Oege de Moor In Mathematics of Program Construction Vol. 669 of Lecture Notes in Computer Science, pages 45—66. Springer, 1993. Details \| BibTeX \| Link (pdf) \| DOI (10.1007/3-540-56625-2_7)

[45]

From Dynamic Programming to Greedy Algorithms

Richard S. Bird, 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 | BibTeX | Link (pdf) | DOI (10.1007/3-540-57499-9_16)

[46]	Unravelling Greedy Algorithms Richard S. Bird Journal of Functional Programming, Vol. 2, No. 3, pages 375—385. 1992. Details \| BibTeX

[47]	Two Greedy Algorithms Richard S. Bird Journal of Functional Programming, Vol. 2, No. 2, pages 237—244. 1992. Details \| BibTeX

[48]	The Smallest Upravel Richard S. Bird Science of Computer Programming, Vol. 18, pages 281—292. 1992. Details \| BibTeX \| DOI (10.1016/0167-6423(92)90020-C)

[49]	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 \| BibTeX

[50]	The Minout Problem Richard S. Bird Journal of Functional Programming, Vol. 1, No. 1, pages 121—124. January 1991. Details \| BibTeX

[51]	On Removing Duplicates Richard S. Bird Journal of Functional Programming, Vol. 1, No. 2, pages 235-243. 1991. Details \| BibTeX

[52]	Small Specification Exercises Richard S. Bird In W. H. J. Feijen et al. , editors, Beauty is our Business pages 36—43. Springer-Verlag. 1990. Details \| BibTeX

[53]	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 \| BibTeX

[54]	Formal Derivation of a Pattern Matching Algorithm Richard S. Bird, Jeremy Gibbons and Geraint Jones Science of Computer Programming, Vol. 12, No. 2, pages 93—104. July 1989. Details \| BibTeX \| DOI (10.1016/0167-6423(89)90036-1)

[55]	Algebraic Identities for Program Calculation Richard S. Bird Computer Journal, Vol. 32, No. 2, pages 122—126. April 1989. Details \| BibTeX \| DOI (10.1093/comjnl/32.2.122)

[56]

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 | BibTeX

[57]	An Introduction to Functional Programming Richard S. Bird, Philip L. Wadler Prentice-Hall. 1988. Details \| BibTeX

[58]	Two Exercises Found In a Book on Algorithmics Richard S. Bird, Lambert Meertens In Lambert Meertens, editor, Program Specification and Transformation pages 451—457. North-Holland. 1987. Details \| BibTeX

[59]	A Formal Development of an Efficient Supercombinator Compiler R. S. Bird Science of Computer Programming, Vol. 8, pages 113—137. 1987. Details \| BibTeX \| DOI (10.1016/0167-6423(87)90017-7)

[60]

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 | BibTeX

[61]	The Alpha-Beta Algorithm: An Exercise in Program Transformation Richard S. Bird, John Hughes Information Processing Letters, Vol. 24, No. 1, pages 53—57. January 1987. Details \| BibTeX \| DOI (10.1016/0020-0190(87)90198-0)

[62]	Transformational Programming and the Paragraph Problem Richard S. Bird Science of Computer Programming, Vol. 6, pages 159—189. 1986. Details \| BibTeX \| DOI (10.1016/0167-6423(86)90023-7)

[63]	Addendum to ``The Promotion and Accumulation Strategies in Transformational Programming'' Richard S. Bird ACM Transactions on Programming Languages and Systems, Vol. 7, No. 3, pages 490—492. July 1985. Details \| BibTeX

[64]	The Promotion and Accumulation Strategies in Transformational Programming Richard S. Bird ACM Transactions on Programming Languages and Systems, Vol. 6, No. 4, pages 487—504. October 1984. See also Bird85:Promotion. Details \| BibTeX \| DOI (10.1145/1780.1781)

[65]	Using Circular Programs to Eliminate Multiple Traversals of Data Richard S. Bird Acta Informatica, Vol. 21, pages 239—250. 1984. Details \| BibTeX \| DOI (10.1007/BF00264249)

[66]	Surveyor's Forum: A Recurring Bug Richard S. Bird ACM Computing Surveys, Vol. 13, No. 2, pages 243. 1981. Details \| BibTeX \| DOI (10.1145/356842.356848)

[67]	The Jogger's Problem Richard S. Bird Information Processing Letters, Vol. 13, No. 3, pages 114—117. 1981. Details \| BibTeX \| DOI (10.1016/0020-0190(81)90122-8)

[68]	Tabulation Techniques for Recursive Programs Richard S. Bird ACM Computing Surveys, Vol. 12, No. 4, pages 403—417. December 1980. See DBLP:journals/csur/Bird81. Details \| BibTeX \| DOI (10.1145/356827.356831)

[69]	Recursion Elimination with Variable Parameters Richard S. Bird Computer Journal, Vol. 22, No. 2, pages 151—154. 1979. Details \| BibTeX \| DOI (10.1093/comjnl/22.2.151)

[70]	Improving Programs by the Introduction of Recursion Richard S. Bird Communications of the ACM, Vol. 20, No. 11, pages 856—863. November 1977. Details \| BibTeX \| DOI (10.1145/359863.359889)

[71]	Two-Dimensional Pattern Matching Richard S. Bird Information Processing Letters, Vol. 6, No. 5, pages 168—170. 1977. Details \| BibTeX \| DOI (10.1016/0020-0190(77)90017-5)

[72]	Notes on Recursion Elimination Richard S. Bird Communications of the ACM, Vol. 20, No. 6, pages 434—439. 1977. Details \| BibTeX \| DOI (10.1145/359605.359630)

[73]	Programs and Machines Richard Bird Wiley. 1976. Details \| BibTeX

[74]	Non Recursive Functionals Richard Bird Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 21, pages 41—46. 1975. Details \| BibTeX

[75]	Speeding Up Programs Richard S. Bird Computer Journal, Vol. 17, No. 4, pages 337—339. 1974. Details \| BibTeX

[76]	On Transformations of Programs Richard Bird Journal of Computer and System Sciences, Vol. 8, pages 22-35. 1974. Details \| BibTeX

[77]	A Note on Definition by Cases Richard Bird Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 19, pages 207—208. 1973. Details \| BibTeX

[78]	Integers with Given Initial Digits Richard Bird American Mathematical Monthly, Vol. 79, pages 367-370. 1972. Details \| BibTeX \| Link