Edit Profile (opens in new tab) Bird, Richard S. Compute Distance To: Compute Author ID: bird.richard-s Published as: Bird, Richard S.; Bird, Richard; Bird, R. S.; Bird, R. more...less Homepage: http://www.cs.ox.ac.uk/people/richard.bird/ External Links: MGP · Wikidata · GND · IdRef Documents Indexed: 58 Publications since 1972, including 4 Books 1 Contribution as Editor Co-Authors: 12 Co-Authors with 22 Joint Publications 164 Co-Co-Authors all top 5 Co-Authors 36 single-authored 7 Mu, Shin-Cheng 5 de Moor, Oege 5 Gibbons, Jeremy 2 Paterson, Ross A. 1 Curtis, Sharon A. 1 Hoogendijk, Paul Ferenc 1 Jones, Geraint 1 Lester, David R. 1 Morgan, C. Carroll 1 Rabe, Florian 1 Ravelo, Jesús N. 1 Sadnicki, Stefan 1 Woodcock, James C. P. all top 5 Serials 18 Journal of Functional Programming 6 Science of Computer Programming 4 Information Processing Letters 3 Formal Aspects of Computing 2 The Computer Journal. Section A / Section B 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Communications of the ACM 1 Acta Informatica 1 American Mathematical Monthly 1 Journal of Computer and System Sciences 1 ACM Transactions on Programming Languages and Systems 1 Computing Surveys 1 Lecture Notes in Computer Science all top 5 Fields 54 Computer science (68-XX) 4 Combinatorics (05-XX) 3 Number theory (11-XX) 3 Category theory; homological algebra (18-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 32 Publications have been cited 225 times in 187 Documents Cited by ▼ Year ▼ Algebra of programming. Zbl 0867.68042Bird, Richard; de Moor, Oege 62 1997 de Bruijn notation as a nested datatype. Zbl 0926.68025Bird, Richard S.; Paterson, Ross 24 1999 Generalised folds for nested datatypes. Zbl 0937.68027Bird, Richard; Paterson, Ross 16 1999 FUNCTIONAL PEARL: Enumerating the rationals. Zbl 1103.68444Gibbons, Jeremy; Lester, David; Bird, Richard 15 2006 The algebra of programming. Zbl 0847.68014Bird, Richard; de Moor, Oege 14 1996 Using circular programs to eliminate multiple traversals of data. Zbl 0551.68017Bird, R. S. 13 1984 Tabulation techniques for recursive programs. Zbl 0466.68017Bird, R. S. 13 1980 The promotion and accumulation strategies in transformational programming. Zbl 0542.68006Bird, R. S. 12 1984 Formal derivation of a pattern matching algorithm. Zbl 0679.68011Bird, R. S.; Gibbons, J.; Jones, G. 7 1989 Transformational programming and the paragraph problem. Zbl 0581.68009Bird, R. S. 6 1986 An introduction to the theory of lists. Zbl 0641.68048Bird, Richard S. 5 1987 Improving programs by the introduction of recursion. Zbl 0361.68023Bird, R. S. 5 1977 Pearls of functional algorithm design. Zbl 1229.68026Bird, Richard 5 2010 Theory and applications of inverting functions as folds. Zbl 1091.68026Mu, Shin-Cheng; Bird, Richard 4 2004 Notes on recursion elimination. Zbl 0358.68016Bird, R. S. 4 1977 Generic functional programming with types and relations. Zbl 0848.68013Bird, Richard; De Moor, Oege; Hoogendijk, Paul 3 1996 Inverting the Burrows-Wheeler transform. Zbl 1063.68052Bird, Richard S.; Mu, Shin-Cheng 3 2004 Functional algorithm design. Zbl 0853.68101Bird, Richard S. 3 1996 Programs and machines. An introduction to the theory of computation. Zbl 0357.68006Bird, Richard 3 1976 How to calculate with nondeterministic functions. Zbl 1434.68078Bird, Richard; Rabe, Florian 2 2019 On computing representatives. Zbl 1336.68272Bird, Richard S.; Ravelo, Jesús N. 2 1997 Loopless functional algorithms. Zbl 1235.68323Bird, Richard S. 2 2006 A simple division-free algorithm for computing determinants. Zbl 1260.65042Bird, Richard S. 2 2011 Arithmetic coding with folds and unfolds. Zbl 1278.68089Bird, Richard; Gibbons, Jeremy 2 2003 Algorithm design with Haskell. Zbl 1440.68002Bird, Richard; Gibbons, Jeremy 1 2020 Countdown: A case study in origami programming. Zbl 1104.68393Bird, Richard; Mu, Shin-Cheng 1 2005 On merging and selection. Zbl 0881.68035Bird, Richard S. 1 1997 A note on definition by cases. Zbl 0327.02032Bird, Richard 1 1973 On building cyclic and shared structures in Haskell. Zbl 1259.68026Bird, Richard S. 1 2012 Maximum marking problems. Zbl 1008.68032Bird, Richard S. 1 2001 Chapter 8. Algebraic methods for optimization problems. Zbl 1065.68031Bird, Richard; Gibbons, Jeremy; Mu, Shin-Cheng 1 2002 Minimal on-line labelling. Zbl 1185.68879Bird, Richard S.; Sadnicki, Stefan 1 2007 Algorithm design with Haskell. Zbl 1440.68002Bird, Richard; Gibbons, Jeremy 1 2020 How to calculate with nondeterministic functions. Zbl 1434.68078Bird, Richard; Rabe, Florian 2 2019 On building cyclic and shared structures in Haskell. Zbl 1259.68026Bird, Richard S. 1 2012 A simple division-free algorithm for computing determinants. Zbl 1260.65042Bird, Richard S. 2 2011 Pearls of functional algorithm design. Zbl 1229.68026Bird, Richard 5 2010 Minimal on-line labelling. Zbl 1185.68879Bird, Richard S.; Sadnicki, Stefan 1 2007 FUNCTIONAL PEARL: Enumerating the rationals. Zbl 1103.68444Gibbons, Jeremy; Lester, David; Bird, Richard 15 2006 Loopless functional algorithms. Zbl 1235.68323Bird, Richard S. 2 2006 Countdown: A case study in origami programming. Zbl 1104.68393Bird, Richard; Mu, Shin-Cheng 1 2005 Theory and applications of inverting functions as folds. Zbl 1091.68026Mu, Shin-Cheng; Bird, Richard 4 2004 Inverting the Burrows-Wheeler transform. Zbl 1063.68052Bird, Richard S.; Mu, Shin-Cheng 3 2004 Arithmetic coding with folds and unfolds. Zbl 1278.68089Bird, Richard; Gibbons, Jeremy 2 2003 Chapter 8. Algebraic methods for optimization problems. Zbl 1065.68031Bird, Richard; Gibbons, Jeremy; Mu, Shin-Cheng 1 2002 Maximum marking problems. Zbl 1008.68032Bird, Richard S. 1 2001 de Bruijn notation as a nested datatype. Zbl 0926.68025Bird, Richard S.; Paterson, Ross 24 1999 Generalised folds for nested datatypes. Zbl 0937.68027Bird, Richard; Paterson, Ross 16 1999 Algebra of programming. Zbl 0867.68042Bird, Richard; de Moor, Oege 62 1997 On computing representatives. Zbl 1336.68272Bird, Richard S.; Ravelo, Jesús N. 2 1997 On merging and selection. Zbl 0881.68035Bird, Richard S. 1 1997 The algebra of programming. Zbl 0847.68014Bird, Richard; de Moor, Oege 14 1996 Generic functional programming with types and relations. Zbl 0848.68013Bird, Richard; De Moor, Oege; Hoogendijk, Paul 3 1996 Functional algorithm design. Zbl 0853.68101Bird, Richard S. 3 1996 Formal derivation of a pattern matching algorithm. Zbl 0679.68011Bird, R. S.; Gibbons, J.; Jones, G. 7 1989 An introduction to the theory of lists. Zbl 0641.68048Bird, Richard S. 5 1987 Transformational programming and the paragraph problem. Zbl 0581.68009Bird, R. S. 6 1986 Using circular programs to eliminate multiple traversals of data. Zbl 0551.68017Bird, R. S. 13 1984 The promotion and accumulation strategies in transformational programming. Zbl 0542.68006Bird, R. S. 12 1984 Tabulation techniques for recursive programs. Zbl 0466.68017Bird, R. S. 13 1980 Improving programs by the introduction of recursion. Zbl 0361.68023Bird, R. S. 5 1977 Notes on recursion elimination. Zbl 0358.68016Bird, R. S. 4 1977 Programs and machines. An introduction to the theory of computation. Zbl 0357.68006Bird, Richard 3 1976 A note on definition by cases. Zbl 0327.02032Bird, Richard 1 1973 all cited Publications top 5 cited Publications all top 5 Cited by 235 Authors 8 Guttmann, Walter 6 Matthes, Ralph 6 Mu, Shin-Cheng 6 Oliveira, José Nuno 5 Ahrens, Benedikt 4 Backhouse, Roland C. 4 Barbosa, Luís Soares 4 de Moor, Oege 4 Fischer, Sebastian 4 Ghani, Neil 4 Gibbons, Jeremy 4 Hinze, Ralf 4 Hirschowitz, André 4 Hu, Zhenjiang 4 Johann, Patricia 4 Kawahara, Yasuo 4 Maggesi, Marco 4 McBride, Conor Thomas 4 Takeichi, Masato 3 Abel, Andreas M. 3 Altenkirch, Thorsten 3 Badouel, Eric 3 Berghammer, Rudolf 3 Bird, Richard S. 3 Botta, Nicola 3 Furusawa, Hitoshi 3 Jansson, Patrik 3 Morihata, Akimasa 3 Nathanson, Melvyn Bernard 3 Pettorossi, Alberto 3 Rytter, Wojciech 3 Uustalu, Tarmo 3 Winter, Michael 2 Anderson, Penny 2 Anisimov, Anatoly V. 2 Benton, Nick 2 Boute, Raymond T. 2 Chiang, Tsung-Ju 2 Cunha, Alcino 2 Doornbos, Henk 2 Emoto, Kento 2 Ferreira, João Filipe 2 Fotsing, Bernard 2 Futamura, Yoshihiko 2 Gagie, Travis 2 Ghiorzi, Enrico 2 Glück, Robert 2 Hamana, Makoto 2 Hida, Takanori 2 Hoogendijk, Paul Ferenc 2 Ionescu, Cezar 2 Jeuring, Johan 2 Kakehi, Kazuhiko 2 Kennedy, Andrew J. 2 Khoshnevisan, Hessam 2 Lafont, Ambroise 2 Meng, Sun 2 Michaelson, Greg 2 Möller, Bernhard 2 Mörtberg, Anders 2 Steuding, Jörn 2 Tchougong, Rodrigue 1 Allais, Guillaume 1 Allison, Lloyd 1 Almada, Carlos 1 Amato, Gianluca 1 Ambal, Guillaume 1 Amtoft, Torben 1 Atampore, Francis 1 Atkey, Robert 1 Bacelar Almeida, José 1 Barbosa, Marco Antonio 1 Barthélemy, François 1 Basin, David A. 1 Bates, Bruce 1 Bernardy, Jean-Philippe 1 Bonchi, Filippo 1 Bonic, Robert 1 Brady, Edwin C. 1 Braßel, Bernd 1 Brede, Nuria 1 Bristow, Paul 1 Bulánek, Jan 1 Bulyonkov, Mikhail A. 1 Bunder, Martin W. 1 Cai, Yu 1 Cerquides, Jesús 1 Chapman, James T. E. 1 Chiang, Yu-Hsi 1 Chin, Wei-Ngan 1 Chitil, Olaf 1 Christiansen, David R. 1 Christiansen, Jan 1 Claessen, Koen 1 Cubarsí, Rafael 1 Curtis, Sharon A. 1 Darais, David 1 de la Clergerie, Eric Villemonte 1 Dilcher, Karl 1 Dougherty, Daniel J. ...and 135 more Authors all top 5 Cited in 46 Serials 25 Journal of Functional Programming 22 Theoretical Computer Science 14 Journal of Logical and Algebraic Methods in Programming 8 Information Processing Letters 8 Formal Aspects of Computing 6 The Journal of Logic and Algebraic Programming 5 Acta Informatica 5 Journal of Automated Reasoning 5 Higher-Order and Symbolic Computation 4 Science of Computer Programming 4 International Journal of Number Theory 4 Logical Methods in Computer Science 3 MSCS. Mathematical Structures in Computer Science 2 Studia Logica 2 Journal of Symbolic Computation 2 New Generation Computing 2 Elemente der Mathematik 2 Journal of Difference Equations and Applications 2 RAIRO. Theoretical Informatics and Applications 1 Discrete Applied Mathematics 1 International Journal of Mathematical Education in Science and Technology 1 Fuzzy Sets and Systems 1 Information Sciences 1 RAIRO, Informatique Théorique 1 SIAM Journal on Computing 1 Software. Practice & Experience 1 Cybernetics 1 European Journal of Combinatorics 1 Algorithmica 1 International Journal of Parallel Programming 1 Information and Computation 1 International Journal of Approximate Reasoning 1 Computational Geometry 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Bulletin des Sciences Mathématiques 1 Parallel Algorithms and Applications 1 Theory of Computing Systems 1 Computational Intelligence 1 Journal of Mathematics and Music 1 Mathematics in Computer Science 1 International Journal of Quantum Chemistry 1 Annalen der Physik all top 5 Cited in 20 Fields 161 Computer science (68-XX) 29 Mathematical logic and foundations (03-XX) 18 Category theory; homological algebra (18-XX) 17 Combinatorics (05-XX) 11 Number theory (11-XX) 7 Operations research, mathematical programming (90-XX) 4 General algebraic systems (08-XX) 2 General and overarching topics; collections (00-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Difference and functional equations (39-XX) 2 Algebraic topology (55-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.