Richard S. Bird

	2011
67		Richard S. Bird: A simple division-free algorithm for computing determinants. Inf. Process. Lett. 111(21-22): 1072-1074 (2011)
66		Richard S. Bird: Building a consensus: A rectangle covering problem. J. Funct. Program. 21(2): 119-128 (2011)
	2008
65		Richard S. Bird: Spider Spinning for Dummies. Advanced Functional Programming 2008: 39-65
64		Richard S. Bird: Zippy Tabulations of Recursive Functions. MPC 2008: 92-109
	2007
63		Richard S. Bird, Stefan Sadnicki: Minimal on-line labelling. Inf. Process. Lett. 101(1): 41-45 (2007)
	2006
62		Richard S. Bird: Fifteen years of functional pearls. ICFP 2006: 215
61		Richard S. Bird: Improving Saddleback Search: A Lesson in Algorithm Design. MPC 2006: 82-89
60		Richard S. Bird: Loopless Functional Algorithms. MPC 2006: 90-114
59		Richard S. Bird, Sharon A. Curtis: Functional Pearls: Finding celebrities: A lesson in functional programming. J. Funct. Program. 16(1): 13-20 (2006)
58		Jeremy Gibbons, David R. Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
57		Richard S. Bird: Functional Pearl: A program to solve Sudoku. J. Funct. Program. 16(6): 671-679 (2006)
	2005
56		Richard S. Bird: Polymorphic string matching. Haskell 2005: 110-115
55		Richard S. Bird, Shin-Cheng Mu: Countdown: A case study in Origami programming. J. Funct. Program. 15(5): 679-702 (2005)
	2004
54		Richard S. Bird, Shin-Cheng Mu: Inverting the Burrows-Wheeler transform. J. Funct. Program. 14(6): 603-612 (2004)
53		Richard S. Bird: On tiling a chessboard. J. Funct. Program. 14(6): 613-622 (2004)
52		Shin-Cheng Mu, Richard S. Bird: Theory and applications of inverting functions as folds. Sci. Comput. Program. 51(1-2): 87-116 (2004)
	2003
51		Shin-Cheng Mu, Richard S. Bird: Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. APLAS 2003: 265-282
	2002
50		Richard S. Bird, Jeremy Gibbons: Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26
49		Shin-Cheng Mu, Richard S. Bird: Inverting Functions as Folds. MPC 2002: 209-232
	2001
48		Shin-Cheng Mu, Richard S. Bird: Functional Quantum Programming. APLAS 2001: 75-88
47		Richard S. Bird: Unfolding pointer algorithms. J. Funct. Program. 11(3): 347-358 (2001)
46		Richard S. Bird: Maximum marking problems. J. Funct. Program. 11(4): 411-424 (2001)
	2000
45		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
44		Richard S. Bird, Ross Paterson: Generalised folds for nested datatypes. Formal Asp. Comput. 11(2): 200-222 (1999)
43		Richard S. Bird, Ross Paterson: De Bruijn Notation as a Nested Datatype. J. Funct. Program. 9(1): 77-91 (1999)
	1998
42		Richard S. Bird, Lambert G. L. T. Meertens: Nested Datatypes. MPC 1998: 52-67
41		Richard S. Bird: Meertens Number. J. Funct. Program. 8(1): 83-88 (1998)
	1997
40		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
39		Richard S. Bird, Oege de Moor: Algebra of programming. Prentice Hall 1997: I-XIV, 1-295
38		Richard S. Bird: Allegories as a Basis for Algorithmics. Category Theory and Computer Science 1997: 34-46
37		Richard S. Bird, Jesús N. Ravelo: On Computing Representatives. Inf. Process. Lett. 63(1): 1-7 (1997)
36		Richard S. Bird: On Merging and Selection. J. Funct. Program. 7(3): 349-354 (1997)
35		Richard S. Bird: On Building Trees with Minimum Height. J. Funct. Program. 7(4): 441-445 (1997)
34		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
33		Richard S. Bird, Oege de Moor: The algebra of programming. NATO ASI DPD 1996: 167-203
32		Richard S. Bird, Oege de Moor, Paul F. Hoogendijk: Generic Functional Programming with Types and Relations. J. Funct. Program. 6(1): 1-28 (1996)
31		Richard S. Bird: Functional Algorithm Design. Sci. Comput. Program. 26(1-3): 15-31 (1996)
	1995
30		Richard S. Bird: Functional Algorithm Design. MPC 1995: 2-17
	1993
29		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
28		Richard S. Bird, Oege de Moor: From Dynamic Programming to Greedy Algorithms. Formal Program Development 1993: 43-61
27		Richard S. Bird, Oege de Moor: List Partitions. Formal Asp. Comput. 5(1): 61-78 (1993)
26		Richard S. Bird: Functional Pearls: The Last Tail. J. Funct. Program. 3(1): 117-122 (1993)
	1992
25		Richard S. Bird, Philip Wadler: Einführung in die funktionale Programmierung. Hanser 1992: I-XIII, 1-284
24		Richard S. Bird, Oege de Moor: Solving Optimisation Problems with Catamorphism. MPC 1992: 45-66
23		Richard S. Bird: Two Greedy Algorithms. J. Funct. Program. 2(2): 237-244 (1992)
22		Richard S. Bird: Unravelling Greedy Algorithms. J. Funct. Program. 2(3): 375-385 (1992)
21		Richard S. Bird: The Smallest Upravel. Sci. Comput. Program. 18(3): 281-292 (1992)
	1991
20		Richard S. Bird: The Minout Problem. J. Funct. Program. 1(1): 121-124 (1991)
19		Richard S. Bird: On Removing Duplicates. J. Funct. Program. 1(2): 235-243 (1991)
	1989
18		Richard S. Bird: Algebraic Identities for Program Calculation. Comput. J. 32(2): 122-126 (1989)
17		Richard S. Bird, Jeremy Gibbons, Geraint Jones: Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. 12(2): 93-104 (1989)
	1988
16		Richard S. Bird, Philip Wadler: Introduction to functional programming. Prentice Hall 1988: I-XV, 1-293
	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)

Coauthor Index

1	Sharon A. Curtis	[59]
2	Jeremy Gibbons	[17] [45] [50] [58]
3	Paul F. Hoogendijk	[32]
4	John Hughes	[15]
5	Geraint Jones	[17] [34]
6	David R. Lester	[58]
7	Lambert G. L. T. Meertens	[40] [42]
8	Oege de Moor	[24] [27] [28] [32] [33] [34] [39]
9	Carroll Morgan (Carroll C. Morgan)	[29]
10	Shin-Cheng Mu	[45] [48] [49] [51] [52] [54] [55]
11	Ross Paterson	[43] [44]
12	Jesús N. Ravelo	[37]
13	Stefan Sadnicki	[63]
14	Philip Wadler	[16] [25]
15	Jim Woodcock (J. C. P. Woodcock)	[29]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page