 | 2008 |
|---|
| 62 |       | Richard S. Bird:
Spider Spinning for Dummies.
Advanced Functional Programming 2008: 39-65 |
| 61 | | Richard S. Bird:
Zippy Tabulations of Recursive Functions.
MPC 2008: 92-109 |
| 2007 |
|---|
| 60 | | Richard S. Bird,
Stefan Sadnicki:
Minimal on-line labelling.
Inf. Process. Lett. 101(1): 41-45 (2007) |
| 2006 |
|---|
| 59 | | Richard S. Bird:
Fifteen years of functional pearls.
ICFP 2006: 215 |
| 58 | | Richard S. Bird:
Improving Saddleback Search: A Lesson in Algorithm Design.
MPC 2006: 82-89 |
| 57 | | Richard S. Bird:
Loopless Functional Algorithms.
MPC 2006: 90-114 |
| 56 | | Richard S. Bird,
Sharon A. Curtis:
Functional Pearls: Finding celebrities: A lesson in functional programming.
J. Funct. Program. 16(1): 13-20 (2006) |
| 55 | | Jeremy Gibbons,
David Lester,
Richard S. Bird:
Functional Pearl: Enumerating the rationals.
J. Funct. Program. 16(3): 281-291 (2006) |
| 54 | | Richard S. Bird:
Functional Pearl: A program to solve Sudoku.
J. Funct. Program. 16(6): 671-679 (2006) |
| 2005 |
|---|
| 53 | | Richard S. Bird:
Polymorphic string matching.
Haskell 2005: 110-115 |
| 52 | | Richard S. Bird,
Shin-Cheng Mu:
Countdown: A case study in Origami programming.
J. Funct. Program. 15(5): 679-702 (2005) |
| 2004 |
|---|
| 51 | | Richard S. Bird,
Shin-Cheng Mu:
Inverting the Burrows-Wheeler transform.
J. Funct. Program. 14(6): 603-612 (2004) |
| 50 | | Richard S. Bird:
On tiling a chessboard.
J. Funct. Program. 14(6): 613-622 (2004) |
| 49 | | Shin-Cheng Mu,
Richard S. Bird:
Theory and applications of inverting functions as folds.
Sci. Comput. Program. 51(1-2): 87-116 (2004) |
| 2003 |
|---|
| 48 | | Shin-Cheng Mu,
Richard S. Bird:
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion.
APLAS 2003: 265-282 |
| 2002 |
|---|
| 47 | | Richard S. Bird,
Jeremy Gibbons:
Arithmetic Coding with Folds and Unfolds.
Advanced Functional Programming 2002: 1-26 |
| 46 | | Shin-Cheng Mu,
Richard S. Bird:
Inverting Functions as Folds.
MPC 2002: 209-232 |
| 2001 |
|---|
| 45 |  | Shin-Cheng Mu,
Richard S. Bird:
Functional Quantum Programming.
APLAS 2001: 75-88 |
| 44 | | Richard S. Bird:
Unfolding pointer algorithms.
J. Funct. Program. 11(3): 347-358 (2001) |
| 43 | | Richard S. Bird:
Maximum marking problems.
J. Funct. Program. 11(4): 411-424 (2001) |
| 2000 |
|---|
| 42 | | Richard S. Bird,
Jeremy Gibbons,
Shin-Cheng Mu:
Algebraic Methods for Optimization Problems.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 281-308 |
| 1999 |
|---|
| 41 | | Richard S. Bird,
Ross Paterson:
Generalised folds for nested datatypes.
Formal Asp. Comput. 11(2): 200-222 (1999) |
| 40 | | Richard S. Bird,
Ross Paterson:
De Bruijn Notation as a Nested Datatype.
J. Funct. Program. 9(1): 77-91 (1999) |
| 1998 |
|---|
| 39 | | Richard S. Bird,
Lambert G. L. T. Meertens:
Nested Datatypes.
MPC 1998: 52-67 |
| 38 | | Richard S. Bird:
Meertens Number.
J. Funct. Program. 8(1): 83-88 (1998) |
| 1997 |
|---|
| 37 | | Richard S. Bird,
Lambert G. L. T. Meertens:
Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France
Chapman & Hall 1997 |
| 36 | | Richard S. Bird:
Allegories as a Basis for Algorithmics.
Category Theory and Computer Science 1997: 34-46 |
| 35 | | Richard S. Bird,
Jesús N. Ravelo:
On Computing Representatives.
Inf. Process. Lett. 63(1): 1-7 (1997) |
| 34 | | Richard S. Bird:
On Merging and Selection.
J. Funct. Program. 7(3): 349-354 (1997) |
| 33 | | Richard S. Bird:
On Building Trees with Minimum Height.
J. Funct. Program. 7(4): 441-445 (1997) |
| 32 | | Richard S. Bird,
Geraint Jones,
Oege de Moor:
More Haste, Less Speed: Lazy Versus Eager Evaluation.
J. Funct. Program. 7(5): 541-547 (1997) |
| 1996 |
|---|
| 31 | | Richard S. Bird,
Oege de Moor:
The algebra of programming.
NATO ASI DPD 1996: 167-203 |
| 30 | | Richard S. Bird,
Oege de Moor,
Paul F. Hoogendijk:
Generic Functional Programming with Types and Relations.
J. Funct. Program. 6(1): 1-28 (1996) |
| 29 | | Richard S. Bird:
Functional Algorithm Design.
Sci. Comput. Program. 26(1-3): 15-31 (1996) |
| 1995 |
|---|
| 28 | | Richard S. Bird:
Functional Algorithm Design.
MPC 1995: 2-17 |
| 1993 |
|---|
| 27 | | Richard S. Bird,
Carroll Morgan,
Jim Woodcock:
Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings
Springer 1993 |
| 26 | | Richard S. Bird,
Oege de Moor:
From Dynamic Programming to Greedy Algorithms.
Formal Program Development 1993: 43-61 |
| 25 | | Richard S. Bird,
Oege de Moor:
List Partitions.
Formal Asp. Comput. 5(1): 61-78 (1993) |
| 24 | | Richard S. Bird:
Functional Pearls: The Last Tail.
J. Funct. Program. 3(1): 117-122 (1993) |
| 1992 |
|---|
| 23 | | Richard S. Bird,
Oege de Moor:
Solving Optimisation Problems with Catamorphism.
MPC 1992: 45-66 |
| 22 | | Richard S. Bird:
Two Greedy Algorithms.
J. Funct. Program. 2(2): 237-244 (1992) |
| 21 | | Richard S. Bird:
Unravelling Greedy Algorithms.
J. Funct. Program. 2(3): 375-385 (1992) |
| 20 | | Richard S. Bird:
The Smallest Upravel.
Sci. Comput. Program. 18(3): 281-292 (1992) |
| 1991 |
|---|
| 19 | | Richard S. Bird:
The Minout Problem.
J. Funct. Program. 1(1): 121-124 (1991) |
| 18 | | Richard S. Bird:
On Removing Duplicates.
J. Funct. Program. 1(2): 235-243 (1991) |
| 1989 |
|---|
| 17 | | Richard S. Bird:
Algebraic Identities for Program Calculation.
Comput. J. 32(2): 122-126 (1989) |
| 16 | | Richard S. Bird,
Jeremy Gibbons,
Geraint Jones:
Formal Derivation of a Pattern Matching Algorithm.
Sci. Comput. Program. 12(2): 93-104 (1989) |
| 1987 |
|---|
| 15 | | Richard S. Bird,
John Hughes:
The alpha-beta Algorithm: An Exercise in Program Transformation.
Inf. Process. Lett. 24(1): 53-57 (1987) |
| 14 | | Richard S. Bird:
A Formal Development of an Efficient Subercombinator Compiler.
Sci. Comput. Program. 8(2): 113-137 (1987) |
| 1986 |
|---|
| 13 | | Richard S. Bird:
Transformational Programming and the Paragraph Problem.
Sci. Comput. Program. 6(2): 159-189 (1986) |
| 1985 |
|---|
| 12 | | Richard S. Bird:
Addendum to ``The Promotion and Accumulation Strategies in Transformational Programming''.
ACM Trans. Program. Lang. Syst. 7(3): 490-492 (1985) |
| 1984 |
|---|
| 11 | | Richard S. Bird:
The Promotion and Accumulation Strategies in Transformational Programming.
ACM Trans. Program. Lang. Syst. 6(4): 487-504 (1984) |
| 10 | | Richard S. Bird:
Using Circular Programs to Eliminate Multiple Traversals of Data.
Acta Inf. 21: 239-250 (1984) |
| 1981 |
|---|
| 9 | | Richard S. Bird:
Surveyor's Forum: A Recurring Bug.
ACM Comput. Surv. 13(2): 243 (1981) |
| 8 | | Richard S. Bird:
The Jogger's Problem.
Inf. Process. Lett. 13(3): 114-117 (1981) |
| 1980 |
|---|
| 7 | | Richard S. Bird:
Tabulation Techniques for Recursive Programs.
ACM Comput. Surv. 12(4): 403-417 (1980) |
| 1979 |
|---|
| 6 | | Richard S. Bird:
Recursion Elimination with Variable Parameters.
Comput. J. 22(2): 151-154 (1979) |
| 1977 |
|---|
| 5 | | Richard S. Bird:
Improving Programs by the Introduction of Recursion.
Commun. ACM 20(11): 856-863 (1977) |
| 4 | | Richard S. Bird:
Notes on Recursion Elimination.
Commun. ACM 20(6): 434-439 (1977) |
| 3 | | Richard S. Bird:
Two Dimensional Pattern Matching.
Inf. Process. Lett. 6(5): 168-170 (1977) |
| 1974 |
|---|
| 2 | | Richard S. Bird:
Speeding up Programs.
Comput. J. 17(4): 337-339 (1974) |
| 1 | | Richard S. Bird:
On Transformations of Programs.
J. Comput. Syst. Sci. 8(1): 22-35 (1974) |
