Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Richard S. Bird
@article{DBLP:journals/jfp/BirdM21,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {A greedy algorithm for dropping digits},
journal = {J. Funct. Program.},
volume = {31},
pages = {e29},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000198},
doi = {10.1017/S0956796821000198},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BirdM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
author = {Richard S. Bird and
Jeremy Gibbons and
Ralf Hinze and
Peter H{\"{o}}fner and
Johan Jeuring and
Lambert G. L. T. Meertens and
Bernhard M{\"{o}}ller and
Carroll Morgan and
Tom Schrijvers and
Wouter Swierstra and
Nicolas Wu},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Algorithmics},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {59--98},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_3},
doi = {10.1007/978-3-030-81701-5\_3},
timestamp = {Wed, 21 Dec 2022 15:22:06 +0100},
biburl = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09700,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {A greedy algorithm for dropping digits (Functional Pearl)},
journal = {CoRR},
volume = {abs/2101.09700},
year = {2021},
url = {https://arxiv.org/abs/2101.09700},
eprinttype = {arXiv},
eprint = {2101.09700},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird20,
author = {Richard S. Bird},
title = {An optimal, purely functional implementation of the Garsia-Wachs algorithm},
journal = {J. Funct. Program.},
volume = {30},
pages = {e3},
year = {2020},
url = {https://doi.org/10.1017/S0956796819000194},
doi = {10.1017/S0956796819000194},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Bird20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird19,
author = {Richard S. Bird},
title = {How to find a fake coin},
journal = {J. Funct. Program.},
volume = {29},
pages = {e8},
year = {2019},
url = {https://doi.org/10.1017/S0956796819000030},
doi = {10.1017/S0956796819000030},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdR19,
author = {Richard S. Bird and
Florian Rabe},
editor = {Graham Hutton},
title = {How to Calculate with Nondeterministic Functions},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {138--154},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_6},
doi = {10.1007/978-3-030-33636-3\_6},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BirdR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird15,
author = {Richard S. Bird},
title = {How to mingle streams},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000064},
doi = {10.1017/S0956796815000064},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird13,
author = {Richard S. Bird},
title = {An in-situ algorithm for expanding a graph},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {174--184},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000457},
doi = {10.1017/S0956796812000457},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BirdGMVS13,
author = {Richard S. Bird and
Jeremy Gibbons and
Stefan Mehner and
Janis Voigtl{\"{a}}nder and
Tom Schrijvers},
editor = {Chung{-}chieh Shan},
title = {Understanding idiomatic traversals backwards and forwards},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Symposium on Haskell, Boston,
MA, USA, September 23-24, 2013},
pages = {25--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503778.2503781},
doi = {10.1145/2503778.2503781},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/BirdGMVS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Bird12,
author = {Richard S. Bird},
title = {On building cyclic and shared structures in Haskell},
journal = {Formal Aspects Comput.},
volume = {24},
number = {4-6},
pages = {609--621},
year = {2012},
url = {https://doi.org/10.1007/s00165-012-0243-6},
doi = {10.1007/S00165-012-0243-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Bird12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Bird11,
author = {Richard S. Bird},
title = {A simple division-free algorithm for computing determinants},
journal = {Inf. Process. Lett.},
volume = {111},
number = {21-22},
pages = {1072--1074},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.08.006},
doi = {10.1016/J.IPL.2011.08.006},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Bird11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird11,
author = {Richard S. Bird},
title = {Building a consensus: {A} rectangle covering problem},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {119--128},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000316},
doi = {10.1017/S0956796810000316},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BackhouseBH09,
author = {Roland Carl Backhouse and
Richard S. Bird and
Paul F. Hoogendijk},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Meeting a fanclub: a lattice of generic shape selectors},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {73--84},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596625},
doi = {10.1145/1596614.1596625},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BackhouseBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/Bird08,
author = {Richard S. Bird},
editor = {Pieter W. M. Koopman and
Rinus Plasmeijer and
S. Doaitse Swierstra},
title = {Spider Spinning for Dummies},
booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008,
Heijen, The Netherlands, May 2008, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {5832},
pages = {39--65},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04652-0\_2},
doi = {10.1007/978-3-642-04652-0\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/Bird08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bird08,
author = {Richard S. Bird},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Zippy Tabulations of Recursive Functions},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {92--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_7},
doi = {10.1007/978-3-540-70594-9\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bird08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BirdS07,
author = {Richard S. Bird and
Stefan Sadnicki},
title = {Minimal on-line labelling},
journal = {Inf. Process. Lett.},
volume = {101},
number = {1},
pages = {41--45},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2006.07.011},
doi = {10.1016/J.IPL.2006.07.011},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BirdS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdC06,
author = {Richard S. Bird and
Sharon A. Curtis},
title = {Functional Pearls: Finding celebrities: {A} lesson in functional programming},
journal = {J. Funct. Program.},
volume = {16},
number = {1},
pages = {13--20},
year = {2006},
url = {https://doi.org/10.1017/S0956796805005678},
doi = {10.1017/S0956796805005678},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BirdC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GibbonsLB06,
author = {Jeremy Gibbons and
David R. Lester and
Richard S. Bird},
title = {Functional Pearl: Enumerating the rationals},
journal = {J. Funct. Program.},
volume = {16},
number = {3},
pages = {281--291},
year = {2006},
url = {https://doi.org/10.1017/S0956796806005880},
doi = {10.1017/S0956796806005880},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/GibbonsLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird06,
author = {Richard S. Bird},
title = {Functional Pearl: {A} program to solve Sudoku},
journal = {J. Funct. Program.},
volume = {16},
number = {6},
pages = {671--679},
year = {2006},
url = {https://doi.org/10.1017/S0956796806006058},
doi = {10.1017/S0956796806006058},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Bird06,
author = {Richard S. Bird},
editor = {John H. Reppy and
Julia Lawall},
title = {Fifteen years of functional pearls},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
pages = {215},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803.1159832},
doi = {10.1145/1159803.1159832},
timestamp = {Mon, 17 Jan 2022 15:20:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Bird06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bird06,
author = {Richard S. Bird},
editor = {Tarmo Uustalu},
title = {Improving Saddleback Search: {A} Lesson in Algorithm Design},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {82--89},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_8},
doi = {10.1007/11783596\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bird06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bird06a,
author = {Richard S. Bird},
editor = {Tarmo Uustalu},
title = {Loopless Functional Algorithms},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {90--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_9},
doi = {10.1007/11783596\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bird06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdM05,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {Countdown: {A} case study in Origami programming},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {679--702},
year = {2005},
url = {https://doi.org/10.1017/S0956796805005642},
doi = {10.1017/S0956796805005642},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BirdM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Bird05,
author = {Richard S. Bird},
editor = {Daan Leijen},
title = {Polymorphic string matching},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2005,
Tallinn, Estonia, September 30, 2005},
pages = {110--115},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088348.1088359},
doi = {10.1145/1088348.1088359},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Bird05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdM04,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {Inverting the Burrows-Wheeler transform},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {603--612},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005118},
doi = {10.1017/S0956796804005118},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BirdM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird04,
author = {Richard S. Bird},
title = {On tiling a chessboard},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {613--622},
year = {2004},
url = {https://doi.org/10.1017/S095679680400512X},
doi = {10.1017/S095679680400512X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MuB04,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
title = {Theory and applications of inverting functions as folds},
journal = {Sci. Comput. Program.},
volume = {51},
number = {1-2},
pages = {87--116},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2003.09.003},
doi = {10.1016/J.SCICO.2003.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MuB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MuB03,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
editor = {Atsushi Ohori},
title = {Rebuilding a Tree from Its Traversals: {A} Case Study of Program Inversion},
booktitle = {Programming Languages and Systems, First Asian Symposium, {APLAS}
2003, Beijing, China, November 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2895},
pages = {265--282},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40018-9\_18},
doi = {10.1007/978-3-540-40018-9\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/MuB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BirdH03,
author = {Richard S. Bird and
Ralf Hinze},
editor = {Johan Jeuring},
title = {Functional Pearl trouble shared is trouble halved},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003,
Uppsala, Sweden, August 28, 2003},
pages = {1--6},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/871895.871896},
doi = {10.1145/871895.871896},
timestamp = {Fri, 03 Jun 2022 10:47:45 +0200},
biburl = {https://dblp.org/rec/conf/haskell/BirdH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/BirdG02,
author = {Richard S. Bird and
Jeremy Gibbons},
editor = {Johan Jeuring and
Simon L. Peyton Jones},
title = {Arithmetic Coding with Folds and Unfolds},
booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002,
Oxford, UK, August 19-24, 2002, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2638},
pages = {1--26},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-44833-4\_1},
doi = {10.1007/978-3-540-44833-4\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/BirdG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuB02,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Inverting Functions as Folds},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {209--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_13},
doi = {10.1007/3-540-45442-X\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird01,
author = {Richard S. Bird},
title = {Unfolding pointer algorithms},
journal = {J. Funct. Program.},
volume = {11},
number = {3},
pages = {347--358},
year = {2001},
url = {https://doi.org/10.1017/S0956796801003914},
doi = {10.1017/S0956796801003914},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird01a,
author = {Richard S. Bird},
title = {Maximum marking problems},
journal = {J. Funct. Program.},
volume = {11},
number = {4},
pages = {411--424},
year = {2001},
url = {https://doi.org/10.1017/S0956796801004038},
doi = {10.1017/S0956796801004038},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MuB01,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
title = {Functional Quantum Programming},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {75--88},
year = {2001},
timestamp = {Tue, 01 Jun 2004 13:15:57 +0200},
biburl = {https://dblp.org/rec/conf/aplas/MuB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmmpc/BirdGM00,
author = {Richard S. Bird and
Jeremy Gibbons and
Shin{-}Cheng Mu},
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {Algebraic Methods for Optimization Problems},
booktitle = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction,
International Summer School and Workshop, Oxford, UK, April 10-14,
2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2297},
pages = {281--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-47797-7\_8},
doi = {10.1007/3-540-47797-7\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acmmpc/BirdGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BirdP99,
author = {Richard S. Bird and
Ross Paterson},
title = {Generalised folds for nested datatypes},
journal = {Formal Aspects Comput.},
volume = {11},
number = {2},
pages = {200--222},
year = {1999},
url = {https://doi.org/10.1007/s001650050047},
doi = {10.1007/S001650050047},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BirdP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdP99,
author = {Richard S. Bird and
Ross Paterson},
title = {De Bruijn Notation as a Nested Datatype},
journal = {J. Funct. Program.},
volume = {9},
number = {1},
pages = {77--91},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003366},
doi = {10.1017/S0956796899003366},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BirdP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0011479,
author = {Richard S. Bird},
title = {Introduction to functional programming using Haskell, Second Edition},
series = {Prentice Hall series in computer science},
publisher = {Prentice Hall},
year = {1998},
isbn = {978-0-13-484346-9},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0011479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird98,
author = {Richard S. Bird},
title = {Meertens Number},
journal = {J. Funct. Program.},
volume = {8},
number = {1},
pages = {83--88},
year = {1998},
url = {https://doi.org/10.1017/s0956796897002931},
doi = {10.1017/S0956796897002931},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdM98,
author = {Richard S. Bird and
Lambert G. L. T. Meertens},
editor = {Johan Jeuring},
title = {Nested Datatypes},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {52--67},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054285},
doi = {10.1007/BFB0054285},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BirdM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0096998,
author = {Richard S. Bird and
Oege de Moor},
title = {Algebra of programming},
series = {Prentice Hall International series in computer science},
publisher = {Prentice Hall},
year = {1997},
isbn = {978-0-13-507245-5},
timestamp = {Thu, 03 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0096998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BirdR97,
author = {Richard S. Bird and
Jes{\'{u}}s N. Ravelo},
title = {On Computing Representatives},
journal = {Inf. Process. Lett.},
volume = {63},
number = {1},
pages = {1--7},
year = {1997},
url = {https://doi.org/10.1016/S0020-0190(97)00087-2},
doi = {10.1016/S0020-0190(97)00087-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BirdR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird97,
author = {Richard S. Bird},
title = {On Merging and Selection},
journal = {J. Funct. Program.},
volume = {7},
number = {3},
pages = {349--354},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002736},
doi = {10.1017/S0956796897002736},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird97a,
author = {Richard S. Bird},
title = {On Building Trees with Minimum Height},
journal = {J. Funct. Program.},
volume = {7},
number = {4},
pages = {441--445},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002803},
doi = {10.1017/S0956796897002803},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdJM97,
author = {Richard S. Bird and
Geraint Jones and
Oege de Moor},
title = {More Haste, Less Speed: Lazy Versus Eager Evaluation},
journal = {J. Funct. Program.},
volume = {7},
number = {5},
pages = {541--547},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002827},
doi = {10.1017/S0956796897002827},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BirdJM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Bird97,
author = {Richard S. Bird},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Allegories as a Basis for Algorithmics},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {34--46},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026979},
doi = {10.1007/BFB0026979},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Bird97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alc/1997,
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
publisher = {Chapman {\&} Hall},
year = {1997},
isbn = {0-412-82050-1},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alc/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdMH96,
author = {Richard S. Bird and
Oege de Moor and
Paul F. Hoogendijk},
title = {Generic Functional Programming with Types and Relations},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {1--28},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001556},
doi = {10.1017/S0956796800001556},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BirdMH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bird96,
author = {Richard S. Bird},
title = {Functional Algorithm Design},
journal = {Sci. Comput. Program.},
volume = {26},
number = {1-3},
pages = {15--31},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(95)00033-X},
doi = {10.1016/0167-6423(95)00033-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Bird96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/BirdM96,
author = {Richard S. Bird and
Oege de Moor},
editor = {Manfred Broy},
title = {The algebra of programming},
booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program
Design, Marktoberdorf, Germany},
pages = {167--203},
year = {1996},
timestamp = {Tue, 14 Nov 2006 16:17:55 +0100},
biburl = {https://dblp.org/rec/conf/nato/BirdM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bird95,
author = {Richard S. Bird},
editor = {Bernhard M{\"{o}}ller},
title = {Functional Algorithm Design},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {2--17},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_2},
doi = {10.1007/3-540-60117-1\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bird95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BirdM93,
author = {Richard S. Bird and
Oege de Moor},
title = {List Partitions},
journal = {Formal Aspects Comput.},
volume = {5},
number = {1},
pages = {61--78},
year = {1993},
url = {https://doi.org/10.1007/BF01211316},
doi = {10.1007/BF01211316},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BirdM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird93,
author = {Richard S. Bird},
title = {Functional Pearls: The Last Tail},
journal = {J. Funct. Program.},
volume = {3},
number = {1},
pages = {117--122},
year = {1993},
url = {https://doi.org/10.1017/S0956796800000630},
doi = {10.1017/S0956796800000630},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/BirdM93,
author = {Richard S. Bird and
Oege de Moor},
editor = {Bernhard M{\"{o}}ller and
Helmuth Partsch and
Stephen A. Schuman},
title = {From Dynamic Programming to Greedy Algorithms},
booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
Report},
series = {Lecture Notes in Computer Science},
volume = {755},
pages = {43--61},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57499-9\_16},
doi = {10.1007/3-540-57499-9\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-1/BirdM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1992,
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56625-2},
doi = {10.1007/3-540-56625-2},
isbn = {3-540-56625-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080637,
author = {Richard S. Bird and
Philip Wadler},
title = {Einf{\"{u}}hrung in die funktionale Programmierung},
series = {Hanser Studienb{\"{u}}cher der Informatik},
publisher = {Hanser},
year = {1992},
isbn = {978-3-446-17001-8},
timestamp = {Mon, 02 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird92,
author = {Richard S. Bird},
title = {Two Greedy Algorithms},
journal = {J. Funct. Program.},
volume = {2},
number = {2},
pages = {237--244},
year = {1992},
url = {https://doi.org/10.1017/S0956796800000368},
doi = {10.1017/S0956796800000368},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird92a,
author = {Richard S. Bird},
title = {Unravelling Greedy Algorithms},
journal = {J. Funct. Program.},
volume = {2},
number = {3},
pages = {375--385},
year = {1992},
url = {https://doi.org/10.1017/S0956796800000459},
doi = {10.1017/S0956796800000459},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bird92,
author = {Richard S. Bird},
title = {The Smallest Upravel},
journal = {Sci. Comput. Program.},
volume = {18},
number = {3},
pages = {281--292},
year = {1992},
url = {https://doi.org/10.1016/0167-6423(92)90020-C},
doi = {10.1016/0167-6423(92)90020-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Bird92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdM92,
author = {Richard S. Bird and
Oege de Moor},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Solving Optimisation Problems with Catamorphism},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {45--66},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_7},
doi = {10.1007/3-540-56625-2\_7},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/BirdM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird91,
author = {Richard S. Bird},
title = {The Minout Problem},
journal = {J. Funct. Program.},
volume = {1},
number = {1},
pages = {121--124},
year = {1991},
url = {https://doi.org/10.1017/S0956796800000083},
doi = {10.1017/S0956796800000083},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird91a,
author = {Richard S. Bird},
title = {On Removing Duplicates},
journal = {J. Funct. Program.},
volume = {1},
number = {2},
pages = {235--243},
year = {1991},
url = {https://doi.org/10.1017/s0956796800020074},
doi = {10.1017/S0956796800020074},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Bird89,
author = {Richard S. Bird},
title = {Algebraic Identities for Program Calculation},
journal = {Comput. J.},
volume = {32},
number = {2},
pages = {122--126},
year = {1989},
url = {https://doi.org/10.1093/comjnl/32.2.122},
doi = {10.1093/COMJNL/32.2.122},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Bird89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BirdGJ89,
author = {Richard S. Bird and
Jeremy Gibbons and
Geraint Jones},
title = {Formal Derivation of a Pattern Matching Algorithm},
journal = {Sci. Comput. Program.},
volume = {12},
number = {2},
pages = {93--104},
year = {1989},
url = {https://doi.org/10.1016/0167-6423(89)90036-1},
doi = {10.1016/0167-6423(89)90036-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BirdGJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067889,
author = {Richard S. Bird and
Philip Wadler},
title = {Introduction to functional programming},
series = {Prentice Hall International series in computer science},
publisher = {Prentice Hall},
year = {1988},
isbn = {978-0-13-484197-7},
timestamp = {Tue, 19 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BirdH87,
author = {Richard S. Bird and
John Hughes},
title = {The alpha-beta Algorithm: An Exercise in Program Transformation},
journal = {Inf. Process. Lett.},
volume = {24},
number = {1},
pages = {53--57},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90198-0},
doi = {10.1016/0020-0190(87)90198-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BirdH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bird87,
author = {Richard S. Bird},
title = {A Formal Development of an Efficient Subercombinator Compiler},
journal = {Sci. Comput. Program.},
volume = {8},
number = {2},
pages = {113--137},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90017-7},
doi = {10.1016/0167-6423(87)90017-7},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Bird87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bird86,
author = {Richard S. Bird},
title = {Transformational Programming and the Paragraph Problem},
journal = {Sci. Comput. Program.},
volume = {6},
number = {2},
pages = {159--189},
year = {1986},
url = {https://doi.org/10.1016/0167-6423(86)90023-7},
doi = {10.1016/0167-6423(86)90023-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Bird86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Bird85,
author = {Richard S. Bird},
title = {Addendum to "The Promotion and Accumulation Strategies in Transformational
Programming"},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {7},
number = {3},
pages = {490--492},
year = {1985},
timestamp = {Fri, 31 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Bird85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Bird84,
author = {Richard S. Bird},
title = {Using Circular Programs to Eliminate Multiple Traversals of Data},
journal = {Acta Informatica},
volume = {21},
pages = {239--250},
year = {1984},
url = {https://doi.org/10.1007/BF00264249},
doi = {10.1007/BF00264249},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Bird84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Bird84,
author = {Richard S. Bird},
title = {The Promotion and Accumulation Strategies in Transformational Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {6},
number = {4},
pages = {487--504},
year = {1984},
url = {https://doi.org/10.1145/1780.1781},
doi = {10.1145/1780.1781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Bird84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Bird81,
author = {Richard S. Bird},
title = {Surveyor's Forum: {A} Recurring Bug},
journal = {{ACM} Comput. Surv.},
volume = {13},
number = {2},
pages = {243},
year = {1981},
url = {https://doi.org/10.1145/356842.356848},
doi = {10.1145/356842.356848},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Bird81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Bird81,
author = {Richard S. Bird},
title = {The Jogger's Problem},
journal = {Inf. Process. Lett.},
volume = {13},
number = {3},
pages = {114--117},
year = {1981},
url = {https://doi.org/10.1016/0020-0190(81)90122-8},
doi = {10.1016/0020-0190(81)90122-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Bird81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Bird80,
author = {Richard S. Bird},
title = {Tabulation Techniques for Recursive Programs},
journal = {{ACM} Comput. Surv.},
volume = {12},
number = {4},
pages = {403--417},
year = {1980},
url = {https://doi.org/10.1145/356827.356831},
doi = {10.1145/356827.356831},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Bird80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Bird79,
author = {Richard S. Bird},
title = {Recursion Elimination with Variable Parameters},
journal = {Comput. J.},
volume = {22},
number = {2},
pages = {151--154},
year = {1979},
url = {https://doi.org/10.1093/comjnl/22.2.151},
doi = {10.1093/COMJNL/22.2.151},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Bird79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bird77,
author = {Richard S. Bird},
title = {Notes on Recursion Elimination},
journal = {Commun. {ACM}},
volume = {20},
number = {6},
pages = {434--439},
year = {1977},
url = {https://doi.org/10.1145/359605.359630},
doi = {10.1145/359605.359630},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bird77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bird77a,
author = {Richard S. Bird},
title = {Improving Programs by the Introduction of Recursion},
journal = {Commun. {ACM}},
volume = {20},
number = {11},
pages = {856--863},
year = {1977},
url = {https://doi.org/10.1145/359863.359889},
doi = {10.1145/359863.359889},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bird77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Bird77,
author = {Richard S. Bird},
title = {Two Dimensional Pattern Matching},
journal = {Inf. Process. Lett.},
volume = {6},
number = {5},
pages = {168--170},
year = {1977},
url = {https://doi.org/10.1016/0020-0190(77)90017-5},
doi = {10.1016/0020-0190(77)90017-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Bird77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bird75,
author = {Richard S. Bird},
title = {Non recursive functionals},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {41--46},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210105},
doi = {10.1002/MALQ.19750210105},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bird75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Bird74,
author = {Richard S. Bird},
title = {Computational complexity on register machines},
school = {Imperial College London, {UK}},
year = {1974},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.644167},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Bird74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Bird74,
author = {Richard S. Bird},
title = {Speeding up Programs},
journal = {Comput. J.},
volume = {17},
number = {4},
pages = {337--339},
year = {1974},
url = {https://doi.org/10.1093/comjnl/17.4.337},
doi = {10.1093/COMJNL/17.4.337},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Bird74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Bird74,
author = {Richard S. Bird},
title = {On Transformations of Programs},
journal = {J. Comput. Syst. Sci.},
volume = {8},
number = {1},
pages = {22--35},
year = {1974},
url = {https://doi.org/10.1016/S0022-0000(74)80020-6},
doi = {10.1016/S0022-0000(74)80020-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Bird74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-23 23:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
