dblp.uni-trier.dewww.uni-trier.de

Richard S. Bird

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
61EERichard S. Bird: Zippy Tabulations of Recursive Functions. MPC 2008: 92-109
2007
60EERichard S. Bird, Stefan Sadnicki: Minimal on-line labelling. Inf. Process. Lett. 101(1): 41-45 (2007)
2006
59EERichard S. Bird: Fifteen years of functional pearls. ICFP 2006: 215
58EERichard S. Bird: Improving Saddleback Search: A Lesson in Algorithm Design. MPC 2006: 82-89
57EERichard S. Bird: Loopless Functional Algorithms. MPC 2006: 90-114
56EERichard S. Bird, Sharon A. Curtis: Functional Pearls: Finding celebrities: A lesson in functional programming. J. Funct. Program. 16(1): 13-20 (2006)
55EEJeremy Gibbons, David Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
54EERichard S. Bird: Functional Pearl: A program to solve Sudoku. J. Funct. Program. 16(6): 671-679 (2006)
2005
53EERichard S. Bird: Polymorphic string matching. Haskell 2005: 110-115
52EERichard S. Bird, Shin-Cheng Mu: Countdown: A case study in Origami programming. J. Funct. Program. 15(5): 679-702 (2005)
2004
51EERichard S. Bird, Shin-Cheng Mu: Inverting the Burrows-Wheeler transform. J. Funct. Program. 14(6): 603-612 (2004)
50EERichard S. Bird: On tiling a chessboard. J. Funct. Program. 14(6): 613-622 (2004)
49EEShin-Cheng Mu, Richard S. Bird: Theory and applications of inverting functions as folds. Sci. Comput. Program. 51(1-2): 87-116 (2004)
2003
48EEShin-Cheng Mu, Richard S. Bird: Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. APLAS 2003: 265-282
2002
47EERichard S. Bird, Jeremy Gibbons: Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26
46EEShin-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
42EERichard 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
41EERichard 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
39EERichard 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
35EERichard 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
11EERichard 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)

Coauthor Index

1Sharon A. Curtis [56]
2Jeremy Gibbons [16] [42] [47] [55]
3Paul F. Hoogendijk [30]
4John Hughes [15]
5Geraint Jones [16] [32]
6David Lester [55]
7Lambert G. L. T. Meertens [37] [39]
8Oege de Moor [23] [25] [26] [30] [31] [32]
9Carroll Morgan [27]
10Shin-Cheng Mu [42] [45] [46] [48] [49] [51] [52]
11Ross Paterson [40] [41]
12Jesús N. Ravelo [35]
13Stefan Sadnicki [60]
14Jim Woodcock (J. C. P. Woodcock) [27]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)