Richard S. Bird

82 papers A 1B 11C 3Journal 53Unranked 7

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	A greedy algorithm for dropping digits (Functional Pearl). CoRR Richard S. Bird, Shin-Cheng Mu
2021	J	`jnl`	A greedy algorithm for dropping digits. J. Funct. Program. Richard S. Bird, Shin-Cheng Mu
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
2020	J	`jnl`	An optimal, purely functional implementation of the Garsia-Wachs algorithm. J. Funct. Program. Richard S. Bird
2019	B	`conf`	How to Calculate with Nondeterministic Functions. MPC Richard S. Bird, Florian Rabe
2019	J	`jnl`	How to find a fake coin. J. Funct. Program. Richard S. Bird
2015	J	`jnl`	How to mingle streams. J. Funct. Program. Richard S. Bird
2013	J	`jnl`	An in-situ algorithm for expanding a graph. J. Funct. Program. Richard S. Bird
2013	C	`conf`	Understanding idiomatic traversals backwards and forwards. Haskell Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
2012	J	`jnl`	On building cyclic and shared structures in Haskell. Formal Aspects Comput. Richard S. Bird
2011	J	`jnl`	A simple division-free algorithm for computing determinants. Inf. Process. Lett. Richard S. Bird
2011	J	`jnl`	Building a consensus: A rectangle covering problem. J. Funct. Program. Richard S. Bird
2009	—	`conf`	Meeting a fanclub: a lattice of generic shape selectors. WGP@ICFP Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk
2008	—	`conf`	Spider Spinning for Dummies. Advanced Functional Programming Richard S. Bird
2008	B	`conf`	Zippy Tabulations of Recursive Functions. MPC Richard S. Bird
2007	J	`jnl`	Minimal on-line labelling. Inf. Process. Lett. Richard S. Bird, Stefan Sadnicki
2006	A	`conf`	Fifteen years of functional pearls. ICFP Richard S. Bird
2006	J	`jnl`	Functional Pearl: A program to solve Sudoku. J. Funct. Program. Richard S. Bird
2006	J	`jnl`	Functional Pearl: Enumerating the rationals. J. Funct. Program. Jeremy Gibbons, David R. Lester, Richard S. Bird
2006	J	`jnl`	Functional Pearls: Finding celebrities: A lesson in functional programming. J. Funct. Program. Richard S. Bird, Sharon A. Curtis
2006	B	`conf`	Improving Saddleback Search: A Lesson in Algorithm Design. MPC Richard S. Bird
2006	B	`conf`	Loopless Functional Algorithms. MPC Richard S. Bird
2005	J	`jnl`	Countdown: A case study in Origami programming. J. Funct. Program. Richard S. Bird, Shin-Cheng Mu
2005	C	`conf`	Polymorphic string matching. Haskell Richard S. Bird
2004	J	`jnl`	Inverting the Burrows-Wheeler transform. J. Funct. Program. Richard S. Bird, Shin-Cheng Mu
2004	J	`jnl`	On tiling a chessboard. J. Funct. Program. Richard S. Bird
2004	J	`jnl`	Theory and applications of inverting functions as folds. Sci. Comput. Program. Shin-Cheng Mu, Richard S. Bird
2003	C	`conf`	Functional Pearl trouble shared is trouble halved. Haskell Richard S. Bird, Ralf Hinze
2003	B	`conf`	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. APLAS Shin-Cheng Mu, Richard S. Bird
2002	—	`conf`	Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming Richard S. Bird, Jeremy Gibbons
2002	B	`conf`	Inverting Functions as Folds. MPC Shin-Cheng Mu, Richard S. Bird
2001	B	`conf`	Functional Quantum Programming. APLAS Shin-Cheng Mu, Richard S. Bird
2001	J	`jnl`	Maximum marking problems. J. Funct. Program. Richard S. Bird
2001	J	`jnl`	Unfolding pointer algorithms. J. Funct. Program. Richard S. Bird
2000	—	`conf`	Algebraic Methods for Optimization Problems. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
1999	J	`jnl`	De Bruijn Notation as a Nested Datatype. J. Funct. Program. Richard S. Bird, Ross Paterson
1999	J	`jnl`	Generalised folds for nested datatypes. Formal Aspects Comput. Richard S. Bird, Ross Paterson
1998	—	`book`	Introduction to functional programming using Haskell, Second Edition. Richard S. Bird
1998	J	`jnl`	Meertens Number. J. Funct. Program. Richard S. Bird
1998	B	`conf`	Nested Datatypes. MPC Richard S. Bird, Lambert G. L. T. Meertens
1997	—	`book`	Algebra of programming. Richard S. Bird, Oege de Moor
1997	—	`ed.`	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France Algorithmic Languages and Calculi Richard S. Bird, Lambert G. L. T. Meertens
1997	—	`conf`	Allegories as a Basis for Algorithmics. Category Theory and Computer Science Richard S. Bird
1997	J	`jnl`	More Haste, Less Speed: Lazy Versus Eager Evaluation. J. Funct. Program. Richard S. Bird, Geraint Jones, Oege de Moor
1997	J	`jnl`	On Building Trees with Minimum Height. J. Funct. Program. Richard S. Bird
1997	J	`jnl`	On Computing Representatives. Inf. Process. Lett. Richard S. Bird, Jesús N. Ravelo
1997	J	`jnl`	On Merging and Selection. J. Funct. Program. Richard S. Bird
1996	J	`jnl`	Functional Algorithm Design. Sci. Comput. Program. Richard S. Bird
1996	J	`jnl`	Generic Functional Programming with Types and Relations. J. Funct. Program. Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
1996	—	`conf`	The algebra of programming. NATO ASI DPD Richard S. Bird, Oege de Moor
1995	B	`conf`	Functional Algorithm Design. MPC Richard S. Bird
1993	—	`conf`	From Dynamic Programming to Greedy Algorithms. Formal Program Development Richard S. Bird, Oege de Moor
1993	J	`jnl`	Functional Pearls: The Last Tail. J. Funct. Program. Richard S. Bird
1993	J	`jnl`	List Partitions. Formal Aspects Comput. Richard S. Bird, Oege de Moor
1993	B	`ed.`	Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings MPC Richard S. Bird, Carroll Morgan, Jim Woodcock
1992	—	`book`	Einführung in die funktionale Programmierung. Richard S. Bird, Philip Wadler
1992	B	`conf`	Solving Optimisation Problems with Catamorphism. MPC Richard S. Bird, Oege de Moor
1992	J	`jnl`	The Smallest Upravel. Sci. Comput. Program. Richard S. Bird
1992	J	`jnl`	Two Greedy Algorithms. J. Funct. Program. Richard S. Bird
1992	J	`jnl`	Unravelling Greedy Algorithms. J. Funct. Program. Richard S. Bird
1991	J	`jnl`	On Removing Duplicates. J. Funct. Program. Richard S. Bird
1991	J	`jnl`	The Minout Problem. J. Funct. Program. Richard S. Bird
1989	J	`jnl`	Algebraic Identities for Program Calculation. Comput. J. Richard S. Bird
1989	J	`jnl`	Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. Richard S. Bird, Jeremy Gibbons, Geraint Jones
1988	—	`book`	Introduction to functional programming. Richard S. Bird, Philip Wadler
1987	J	`jnl`	A Formal Development of an Efficient Subercombinator Compiler. Sci. Comput. Program. Richard S. Bird
1987	J	`jnl`	The alpha-beta Algorithm: An Exercise in Program Transformation. Inf. Process. Lett. Richard S. Bird, John Hughes
1986	J	`jnl`	Transformational Programming and the Paragraph Problem. Sci. Comput. Program. Richard S. Bird
1985	J	`jnl`	Addendum to "The Promotion and Accumulation Strategies in Transformational Programming". ACM Trans. Program. Lang. Syst. Richard S. Bird
1984	J	`jnl`	The Promotion and Accumulation Strategies in Transformational Programming. ACM Trans. Program. Lang. Syst. Richard S. Bird
1984	J	`jnl`	Using Circular Programs to Eliminate Multiple Traversals of Data. Acta Informatica Richard S. Bird
1981	J	`jnl`	Surveyor's Forum: A Recurring Bug. ACM Comput. Surv. Richard S. Bird
1981	J	`jnl`	The Jogger's Problem. Inf. Process. Lett. Richard S. Bird
1980	J	`jnl`	Tabulation Techniques for Recursive Programs. ACM Comput. Surv. Richard S. Bird
1979	J	`jnl`	Recursion Elimination with Variable Parameters. Comput. J. Richard S. Bird
1977	J	`jnl`	Improving Programs by the Introduction of Recursion. Commun. ACM Richard S. Bird
1977	J	`jnl`	Notes on Recursion Elimination. Commun. ACM Richard S. Bird
1977	J	`jnl`	Two Dimensional Pattern Matching. Inf. Process. Lett. Richard S. Bird
1975	J	`jnl`	Non recursive functionals. Math. Log. Q. Richard S. Bird
1974	—	`—`	Computational complexity on register machines. Richard S. Bird
1974	J	`jnl`	On Transformations of Programs. J. Comput. Syst. Sci. Richard S. Bird
1974	J	`jnl`	Speeding up Programs. Comput. J. Richard S. Bird