Richard Bird (computer scientist)

Richard Simpson Bird
Head photograph of an older white male smiling, with short grey hair and glasses
Professor Richard S. Bird
Born(1943-02-13)13 February 1943
London, England
Died4 April 2022(2022-04-04) (aged 79)
Known forAlgorithm design
Functional programming
Bird–Meertens formalism
Scientific career
FieldsComputer science
InstitutionsUniversity of Reading
University of Oxford
Websitewww.cs.ox.ac.uk/people/richard.bird

Richard Simpson Bird (4 February 1943 – 4 April 2022)[1] was an English computer scientist.

Posts

He was a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England,[2] and former director of the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford).[3] Formerly, Bird was at the University of Reading.

Research interests

Bird's research interests lay in algorithm design and functional programming, and he was known as a regular contributor to the Journal of Functional Programming, and as author of several books promoting use of the programming language Haskell, including Introduction to Functional Programming using Haskell,[4] Thinking Functionally with Haskell,[5] Algorithm Design with Haskell co-authored with Jeremy Gibbons,[6] and other books on related topics.[7][8] His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from specifications in a functional programming style.

Other organisational affilitations

He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[9] which specified, supports, and maintains the programming languages ALGOL 60 and ALGOL 68.[10]

References

  1. ^ "Professor Richard Bird (4 February 1943 – 4 April 2022)". College News. Oxford University. 20 April 2022.
  2. ^ Fellows & Staff, Lincoln College, Oxford, UK.
  3. ^ Richard Bird, Oxford University Computing Laboratory, UK.
  4. ^ Bird, Richard (1998). Introduction to Functional Programming using Haskell (2nd ed.). Prentice Hall Press. ISBN 978-0-13-484346-9.
  5. ^ Bird, Richard (2014). Thinking Functionally with Haskell. Cambridge University Press. ISBN 978-1-107-45264-0.
  6. ^ Bird, Richard; Gibbons, Jeremy (July 2020). Algorithm Design with Haskell. Cambridge University Press. ISBN 978-1-108-49161-7.
  7. ^ Bird, Richard (1972–2006). "Publications". Oxford University Computing Laboratory. United Kingdom.
  8. ^ Bird, Richard (2021). "Richard Bird". University of Oxford Department of Computer Science. United Kingdom.
  9. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 10 September 2020.
  10. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 10 September 2020.

Read other articles:

1888 painting by Antonio Gisbert Pérez Execution of Torrijos and his Companions on the Beach at MálagaArtistAntonio Gisbert PérezYear1888MediumOil on canvasDimensions390 cm × 601 cm (150 in × 237 in)LocationMuseo del Prado, Madrid The Execution of Torrijos and his Companions on the Beach at Málaga (Spanish: Fusilamiento de Torrijos y sus compañeros en las playas de Málaga) is a painting by Antonio Gisbert Pérez. It is considered one of the fi...

 

Charophyta Chara braunii (en) TaksonomiSuperdomainBiotaSuperkerajaanEukaryotaKerajaanPlantaeSubkerajaanViridiplantaeFilumCharophyta Sachs, 1875 KelasMesostigmatophyceae Chlorokybophyceae Klebsormidiophyceae Zygnemophyceae    Zygnematales    Desmidiales Charophyceae    Coleochaetales    Charaleslbs Charophyta adalah salah satu filum dari alga hijau yang seluruh hidupnya terendam di air (tumbuhan akuatik). Alga ini memiliki ukuran mula...

 

Kedutaan Besar Republik Indonesia di Abu DhabiKoordinat24°26′06″N 54°22′17″E / 24.435°N 54.371519°E / 24.435; 54.371519Lokasi Abu Dhabi, Uni Emirat ArabAlamatZone 2, Sector 79, Villa No. 819Sultan bin Zayed Street(Street 32)Al Bateen Area, Abu DhabiUni Emirat ArabDuta BesarHusin BagisSitus webkemlu.go.id/abudhabi/id Kedutaan Besar Republik Indonesia di Abu Dhabi (KBRI Abu Dhabi) adalah misi diplomatik Republik Indonesia untuk Uni Emirat Arab (UEA).[1 ...

16-bit microprocessor Intel 8086A rare Intel C8086 processor in purple ceramic DIP package with side-brazed pinsGeneral informationLaunched1978Discontinued1998[1]Common manufacturer(s)Intel, AMD, NEC, Fujitsu, Harris (Intersil), OKI, Siemens, Texas Instruments, Mitsubishi, Panasonic (Matsushita)PerformanceMax. CPU clock rate5 MHz to 10 MHzData width16 bitsAddress width20 bitsArchitecture and classificationTechnology node3 µmInstruction setx86-16Physical speci...

 

Coppa d'Albania 2011-2012 Competizione Kupa e Shqipërisë Sport Calcio Edizione 60ª Organizzatore FSHF Date dal 7 settembre 2011al 17 maggio 2012 Luogo  Albania Risultati Vincitore  Tirana(15º titolo) Secondo  Skënderbeu Cronologia della competizione 2010-2011 2012-2013 Manuale La Coppa d'Albania 2011-2012 è stata la 60ª edizione della competizione. Il torneo è cominciato il 7 settembre 2011 ed è terminato il 17 maggio 2012. Il KF Tirana ha vinto il trofeo per ...

 

2019 song by Kobi Marimi HomeSingle by Kobi MarimiReleased10 March 2019Recorded2019LabelUnicellSongwriter(s)Ohad ShragaiInbar WizmanProducer(s)Amos Ben DavidKobi Marimi singles chronology Home (2019) Yalla Bye (2019) Music videoHome on YouTubeEurovision Song Contest 2019 entryCountryIsraelArtist(s)Kobi MarimiLanguagesEnglishComposer(s)Ohad ShragaiInbar WizmanLyricist(s)Ohad ShragaiInbar WizmanFinals performanceFinal result23rdFinal points35Entry chronology◄ Toy (2018)Feker Libi (2020) ► H...

Non-fiction book by journalist and author Michael Bachelard about the group Exclusive Brethren Behind the Exclusive Brethren Book coverAuthorMichael BachelardCountryAustraliaLanguageEnglishSubjectExclusive BrethrenGenreNon-fictionPublisherScribe Publications Pty Ltd.Publication date2008Pages288ISBN1-921372-28-1OCLC261340893Preceded byThe Great Land Grab  Behind the Exclusive Brethren: Politics Persuasion and Persecution is a non-fiction book by journalist and author Michael Bachelar...

 

2nd Regiment may refer to: Active units British Army 2nd Royal Tank Regiment United States 2nd Aviation Regiment (United States) 2nd Air Defense Artillery Regiment 2nd Cavalry Regiment (United States) 2nd Marine Regiment (United States) 2nd Infantry Regiment (United States) 2nd Field Artillery Regiment (United States) Australian Army 2nd Cavalry Regiment (Australia) - armoured reconnaissance unit 2nd/14th Light Horse Regiment - armoured reconnaissance unit 2nd/10th Medium Regiment, Royal Aust...

 

This article needs to be updated. Please help update this article to reflect recent events or newly available information. (April 2022)Part of a series onCreationism History Types Young Earth Time dilation creationism Old Earth day-age gap progressive Neo-creationism Biblical cosmology Book of Genesis creation narrative framework interpretation as an allegory Omphalos hypothesis Creation science Created kind Flood geology Creationist cosmologies Intelligent design Rejection of evolution by re...

Piala Raja Spanyol 2019–2020Negara SpanyolJumlah peserta125Juara bertahanValenciaJuaraReal SociedadTempat keduaAthletic BilbaoJumlah pertandingan123Jumlah gol345 (2.8 per pertandingan)Pencetak gol terbanyak Alexander Isak(Real Sociedad)(5 gol)← 2018–2019 2020–2021 → Seluruh statistik akurat per 13 Februari 2020. Piala Raja Spanyol 2019–2020 adalah edisi ke-116 dari penyelenggaraan Piala Raja Spanyol, turnamen sepak bola di Spanyol dengan sistem piala. Final Artikel utama: Fin...

 

2003 studio album by Luis FonsiAbrazar la VidaStudio album by Luis FonsiReleasedOctober 28, 2003GenreLatin popLabelUniversal LatinoLuis Fonsi chronology Fight the Feeling(2002) Abrazar la Vida(2003) Paso a Paso(2005) Singles from Abrazar la Vida ¿Quién Te Dijo Eso?Released: August 11, 2003 Abrazar la VidaReleased: December 8, 2003 Por Ti Podría MorirReleased: March 29, 2004 Yo Te PropongoReleased: July 26, 2004 Abrazar la Vida, released on October 28, 2003, is the fifth album by Lu...

 

American computer scientist Xuedong Huangin 2017Born (1962-10-20) October 20, 1962 (age 61)ChinaCitizenshipUnited StatesAlma materUniversity of Edinburgh, Tsinghua University, Hunan UniversityAwardsNational Academy of Engineering Member, American Academy of Arts and Sciences Member, IEEE Bose Industrial Leader Award, Asian American Corporate Leadership Award, ACM Fellow, IEEE FellowScientific careerFieldsSpeech Recognition, Machine translation, Natural Language Processing, AI, Compu...

Sporting event delegationGreat Britain at the2008 Summer OlympicsFlag of the United KingdomIOC codeGBRNOCBritish Olympic Associationin BeijingCompetitors311[2] in 20 sportsFlag bearers Mark Foster (opening)Chris Hoy (closing)Officials236[1]MedalsRanked 4th Gold 19 Silver 13 Bronze 19 Total 51 Summer Olympics appearances (overview)189619001904190819121920192419281932193619481952195619601964196819721976198019841988199219962000200420082012201620202024Other related appearanc...

 

此條目可参照英語維基百科相應條目来扩充。 (2021年5月6日)若您熟悉来源语言和主题,请协助参考外语维基百科扩充条目。请勿直接提交机械翻译,也不要翻译不可靠、低品质内容。依版权协议,译文需在编辑摘要注明来源,或于讨论页顶部标记{{Translated page}}标签。 约翰斯顿环礁Kalama Atoll 美國本土外小島嶼 Johnston Atoll 旗幟颂歌:《星條旗》The Star-Spangled Banner約翰斯頓環礁�...

 

2023 novel by Salman Rushdie Victory City AuthorSalman RushdieCountryUnited KingdomLanguageEnglishGenreLiterary Fiction/ Science Fiction & FantasyPublisherRandom HousePublication date7 February 2023Media typePrint (Hardcover)Pages352ISBN9780593243398OCLC1317339930Preceded byQuichotte  Victory City is a novel by Salman Rushdie published in February 2023. It is Rushdie's fifteenth novel. Writing and publication Ahead of publication, it was announced that due to the attack on ...

Historical upper class in the present-day countries of Estonia and Latvia The cover of the Baltisches Wappenbuch (Baltic Armorial) Baltic German nobility was a privileged social class in the territories of today's Estonia and Latvia. It has existed continuously since the Northern Crusades and the medieval foundation of Terra Mariana. Most of the nobility were Baltic Germans, but with the changing political landscape over the centuries, Polish, Swedish and Russian families also became part of ...

 

愛媛県立宇和高等学校三瓶分校 北緯33度22分35秒 東経132度25分31秒 / 北緯33.37639度 東経132.42528度 / 33.37639; 132.42528座標: 北緯33度22分35秒 東経132度25分31秒 / 北緯33.37639度 東経132.42528度 / 33.37639; 132.42528過去の名称 第二山下実科高等女学校第二山下高等女学校愛媛県立三瓶高等学校国公私立の別 公立学校設置者  愛媛県学区 南予学区学区�...

 

Ducato di Mantova Ducato di Mantova - Localizzazione Dati amministrativiLingue ufficialilingua lombarda Lingue parlateDialetto mantovano, latino, italiano Capitale Mantova Dipendente da Sacro Romano Impero PoliticaForma di governoMonarchia(Ducato) Capo di StatoSovrani di Mantova Organi deliberativiSenato di Giustizia[1] Nascita1530 con Federico II Gonzaga CausaDiploma Imperiale Fine1708 con Ferdinando Carlo di Gonzaga-Nevers CausaAnnessione al Sacro Romano Impero Territorio e popolazi...

Fueron 32 equipos los que compitieron en la Copa Mundial de Fútbol de 2014, con una plaza destinada al país organizador, Brasil. En el proceso de clasificación para la Copa Mundial de Fútbol de 2014, los equipos inscriptos por las seis confederaciones de la FIFA compitieron por las 31 plazas restantes. En total, participaron en la fase clasificatoria 203 de las 208 asociaciones nacionales afiliadas a FIFA, pues las selecciones de Brunéi, Bután, Guam y Mauritania decidieron no tomar part...

 

A baseball stadium located in DeLand, Florida. This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (January 2011) (Learn how and when to remove this message) Melching Field at Conrad ParkLocation555 S. Woodland Blvd.DeLand, FloridaCapacity2,500Field sizeLeft Field: 335 ftCenter Field: 403 ftRight Field: 335 ftOpenedFebruary 12, 1999TenantsStetson Hatters baseball ...