Concepedia

Richard Bird

RB

Statistics

Publications

30

Citations

1.3K

H-Index

19

Active since

1976

Affiliations

University of Oxford(Current)

Oxford Research Group

University of Reading

University of Bonn

City, University of London

Richard Bird is an author at University of Oxford specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisComputational ComplexitySoftware AnalysisFormal VerificationMathematical ProgrammingLanguage

Publications per year

1976–2013

30

Publications

30

Using circular programs to eliminate multiple traversals of data

Richard Bird · Acta Informatica · 1984 · 155 citations

Engineering, Data Science, Algorithmic Library +9

Two dimensional pattern matching

Richard Bird · Information Processing Letters · 1977 · 152 citations

Image Analysis, Machine Vision, Engineering +9

de Bruijn notation as a nested datatype

Richard Bird, Ross Paterson · Journal of Functional Programming · 1999 · 146 citations · Full text

Bruijn Notation, Formal Notation, Lambda Terms +13

The promotion and accumulation strategies in transformational programming

Richard Bird · ACM Transactions on Programming Languages and Systems · 1984 · 132 citations · Full text

Algebraic Identities for Program Calculation

Richard Bird · The Computer Journal · 1989 · 98 citations · Full text

Mathematical Programming, Engineering, Basic Algebraic Identities +16

1–5 of 30