Richard Bird
#36,262
Most Influential Person Now
British computer scientist
Richard Bird 's AcademicInfluence.com Rankings
Richard Bird computer-science Degrees
Computer Science
#1579
World Rank
#1634
Historical Rank
Programming
#40
World Rank
#42
Historical Rank
Richard Bird mathematics Degrees
Mathematics
#5989
World Rank
#8364
Historical Rank
Measure Theory
#2164
World Rank
#2608
Historical Rank
Download Badge
Computer Science Mathematics
Why Is Richard Bird Influential?
(Suggest an Edit or Addition)According to Wikipedia, Richard Simpson Bird was an English computer scientist. Posts He was a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England, and former director of the Oxford University Computing Laboratory . Formerly, Bird was at the University of Reading.
Richard Bird 's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Introduction to functional programming (1988) (1003)
- An introduction to the theory of lists (1987) (736)
- Algebra of programming (1997) (677)
- Introduction to functional programming using haskeu (1998) (393)
- Lectures on Constructive Functional Programming (1989) (259)
- Nested Datatypes (1998) (184)
- Tabulation Techniques for Recursive Programs (1980) (168)
- The promotion and accumulation strategies in transformational programming (1984) (157)
- de Bruijn notation as a nested datatype (1999) (152)
- Algebraic Identities for Program Calculation (1989) (127)
- Introduction to functional programming using Haskell, Second Edition (1998) (127)
- Using circular programs to eliminate multiple traversals of data (1984) (119)
- Generalised folds for nested datatypes (1999) (100)
- Two Dimensional Pattern Matching (1977) (96)
- A calculus of functions for program derivation (1990) (78)
- Generic functional programming with types and relations (1996) (61)
- Formal Derivation of a Pattern Matching Algorithm (1989) (45)
- Pearls of Functional Algorithm Design (2010) (45)
- Functional Quantum Programming (2001) (41)
- Two exercises found in a book on algorithmics (1987) (38)
- Improving programs by the introduction of recursion (1977) (37)
- From Dynamic Programming to Greedy Algorithms (1993) (36)
- Transformational Programming and the Paragraph Problem (1986) (33)
- FUNCTIONAL PEARL: Enumerating the rationals (2006) (32)
- Notes on recursion elimination (1977) (31)
- FUNCTIONAL PEARL On building trees with minimum height (1997) (29)
- Functional Algorithm Design (1995) (29)
- Relational program derivation and context-free language recognition (1994) (26)
- More haste, less speed: lazy versus eager evaluation (1997) (25)
- Maximum marking problems (2001) (24)
- Programs and Machines (1976) (22)
- Understanding idiomatic traversals backwards and forwards (2013) (21)
- Inverting Functions as Folds (2002) (19)
- Pearls of Functional Algorithm Design: The Burrows–Wheeler transform (2010) (18)
- Solving Optimisation Problems with Catamorphism (1992) (18)
- Arithmetic Coding with Folds and Unfolds (2002) (17)
- Algorithmics (2021) (17)
- Thinking Functionally with Haskell (2014) (16)
- Algorithmic Languages and Calculi (1997) (16)
- A simple division-free algorithm for computing determinants (2011) (14)
- FUNCTIONAL PEARL Unfolding pointer algorithms (2001) (14)
- Theory and applications of inverting functions as folds (2004) (13)
- Enumerating the Rationals (2004) (13)
- FUNCTIONAL PEARL: A program to solve Sudoku (2006) (12)
- Functional Pearl trouble shared is trouble halved (2003) (11)
- The alpha-beta Algorithm: An Exercise in Program Transformation (1987) (11)
- Algorithm Design with Haskell (2020) (10)
- Minimal on-line labelling (2007) (9)
- Addendum to "The promotion and accumulation strategies in transformational programming" (1985) (8)
- Algebraic Methods for Optimization Problems (2000) (8)
- A Formal Development of an Efficient Subercombinator Compiler (1987) (7)
- Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion (2003) (6)
- Program Optimisation‚ Naturally (2000) (5)
- Loopless Functional Algorithms (2006) (5)
- Inverting the Burrows-Wheeler transform (2004) (5)
- Functional Pearls: Unravelling greedy algorithms (1992) (4)
- How to Calculate with Nondeterministic Functions (2019) (4)
- The Smallest Upravel (1992) (4)
- On Computing Representatives (1997) (3)
- Improving Saddleback Search: A Lesson in Algorithm Design (2006) (3)
- Countdown: A case study in origami programming (2005) (3)
- Zippy Tabulations of Recursive Functions (2008) (3)
- Polymorphic string matching (2005) (3)
- Functional Pearls Two greedy algorithms (1992) (3)
- Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France (1997) (3)
- Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi (1997) (2)
- Fifteen years of functional pearls (2006) (2)
- Functional Pearls: Finding celebrities: A lesson in functional programming (2006) (2)
- A Note on Definition by Cases (1973) (2)
- On building cyclic and shared structures in Haskell (2012) (2)
- On Transformations of Programs (1974) (2)
- Effective Reasoning about Effectful Traversals (2011) (2)
- Building a consensus: A rectangle covering problem (2011) (2)
- Be Kind, Rewind A Modest Proposal about Traversal (2012) (2)
- FUNCTIONAL PEARL On merging and selection (1997) (2)
- Recursion Elimination with Variable Parameters (1979) (2)
- Meertens number (1998) (2)
- Ways of searching (2020) (1)
- Hybrid Dynamic Programming (1994) (1)
- Spider Spinning for Dummies (2008) (1)
- Knuth's Problem (1991) (1)
- Speeding up Programs (1974) (1)
- How to mingle streams (2015) (1)
- Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (1993) (1)
- F U N C T I O N A L P E A R L On merging and selection (1)
- Integers with Given Initial Digits (1972) (1)
- Functional Pearls: On removing duplicates (1991) (1)
- Pearls of Functional Algorithm Design: Hylomorphisms and nexuses (2010) (1)
- A greedy algorithm for dropping digits (2021) (1)
- Small specification exercises (1990) (1)
- Thinking Functionally with Haskell: What is functional programming? (2014) (1)
- Pearls of Functional Algorithm Design: The Knuth–Morris–Pratt algorithm (2010) (1)
- On tiling a chessboard (2004) (1)
- Functional Pearls: The last tail (1993) (1)
- The Jogger's Problem (1981) (0)
- JFP volume 5 issue 1 Cover and Front matter (1995) (0)
- Useful data structures (2020) (0)
- Functional Pearls: The Minout problem (1991) (0)
- Allegories as a Basis for Algorithmics (1997) (0)
- The Countdown problem (2010) (0)
- Building a tree with minimum height (2010) (0)
- JFP volume 4 issue 2 Cover and Front matter (1994) (0)
- Pearls of Functional Algorithm Design: Finding celebrities (2010) (0)
- A simple equational calculator (2014) (0)
- List partitions (2005) (0)
- An in-situ algorithm for expanding a graph (2013) (0)
- A selection problem (2010) (0)
- The Last Tail (1993) (0)
- The Datafusion Analysis System. (1976) (0)
- JFP volume 3 issue 3 Cover and Front matter (1993) (0)
- An optimal, purely functional implementation of the Garsia–Wachs algorithm (2020) (0)
- Acknowledgement to referees (2004) (0)
- Algebras for tree algorithms (1991) (0)
- Making a century (2010) (0)
- Greedy algorithms on graphs (2020) (0)
- Deriving a systolic language recogniser (1997) (0)
- JFP volume 4 issue 4 Cover and Front matter (1994) (0)
- Planning solves the Rush Hour problem (2010) (0)
- Thinking Functionally with Haskell: Imperative functional programming (2014) (0)
- The smallest free number (2010) (0)
- A greedy algorithm for dropping digits (Functional Pearl) (2021) (0)
- The Johnson–Trotter algorithm (2010) (0)
- Mathematics of Program Construction: Proceedings of the 2nd International Conference, Oxford, U. K., June-July 1992 (1993) (0)
- How to find a fake coin (2019) (0)
- Greedy algorithms on trees (2020) (0)
- F U N C T I O N A L P E A R L On tiling a chessboard (2004) (0)
- JFP volume 5 issue 3 Cover and Front matter (1995) (0)
- Thinking Functionally with Haskell: A simple Sudoku solver (2014) (0)
- Greedy algorithms on lists (2020) (0)
- Pearls of Functional Algorithm Design: Improving on saddleback search (2010) (0)
- Surveyor's Forum: A Recurring Bug (1981) (0)
- Expressions, types and values (2014) (0)
- Sorting pairwise sums (2010) (0)
- Making the grade (2021) (0)
- Pearls of Functional Algorithm Design: The Schorr–Waite algorithm (2010) (0)
- Minimal On−line List Labelling (2007) (0)
- All the common prefixes (2010) (0)
- Mathematics of Program Construction (1992) (0)
- On building cyclic and shared structures in Haskell (2012) (0)
- Pearls of Functional Algorithm Design: Not the maximum segment sum (2010) (0)
- Three ways of computing determinants (2010) (0)
- Inside the convex hull (2010) (0)
- Non recursive functionals (1975) (0)
- Integer arithmetic coding (2010) (0)
- Pearls of Functional Algorithm Design: The Boyer–Moore algorithm (2010) (0)
- Computational complexity on register machines (1974) (0)
- Pearls of Functional Algorithm Design: Spider spinning for dummies (2010) (0)
- Pearls of Functional Algorithm Design: A surpassing problem (2010) (0)
- Meeting a fanclub: a lattice of generic shape selectors (2009) (0)
- Thinking Functionally with Haskell: Efficiency (2014) (0)
- Introduction to thinning (2020) (0)
- Pearls of Functional Algorithm Design: Rational arithmetic coding (2010) (0)
- JFP volume 2 issue 2 Cover and Front matter (1992) (0)
- Thinking Functionally with Haskell: Proofs (2014) (0)
- Proceedings of the Second International Conference on Mathematics of Program Construction (1992) (0)
This paper list is powered by the following services:
Other Resources About Richard Bird
What Schools Are Affiliated With Richard Bird ?
Richard Bird is affiliated with the following schools:
