Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jeremy Gibbons
@inproceedings{DBLP:conf/funarch/GibbonsKSW23,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
editor = {Michael Sperber and
Graham Hutton},
title = {Phases in Software Architecture},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Functional
Software Architecture, {FUNARCH} 2023, Seattle, WA, USA, 8 September
2023},
pages = {29--33},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609025.3609479},
doi = {10.1145/3609025.3609479},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/funarch/GibbonsKSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GibbonsK22,
author = {Jeremy Gibbons and
Shriram Krishnamurthi},
title = {Editorial},
journal = {J. Funct. Program.},
volume = {32},
pages = {e1},
year = {2022},
url = {https://doi.org/10.1017/S0956796821000265},
doi = {10.1017/S0956796821000265},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/GibbonsK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/Gibbons22,
author = {Jeremy Gibbons},
title = {Continuation-Passing Style, Defunctionalization, Accumulations, and
Associativity},
journal = {Art Sci. Eng. Program.},
volume = {6},
number = {2},
pages = {7},
year = {2022},
url = {https://doi.org/10.22152/programming-journal.org/2022/6/7},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/7},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/Gibbons22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GibbonsKSW22,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
editor = {Ekaterina Komendantskaya},
title = {Breadth-First Traversal via Staging},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {1--33},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_1},
doi = {10.1007/978-3-031-16912-0\_1},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GibbonsKSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HartmannG22,
author = {Johannes Hartmann and
Jeremy Gibbons},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Algorithm Design with the Selection Monad},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {126--143},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_7},
doi = {10.1007/978-3-031-21314-4\_7},
timestamp = {Mon, 09 Jan 2023 17:07:17 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HartmannG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2206-09534,
editor = {Jeremy Gibbons and
Max S. New},
title = {Proceedings Ninth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022},
series = {{EPTCS}},
volume = {360},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.360},
doi = {10.4204/EPTCS.360},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-09534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BraamGK22,
author = {Peter Braam and
Jeremy Gibbons and
Oleg Kiselyov},
title = {Programming Language Support for Emerging Memory Technologie {(NII}
Shonan Meeting 181)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2022},
year = {2022},
url = {https://shonan.nii.ac.jp/seminars/181/},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BraamGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gibbons21,
author = {Jeremy Gibbons},
title = {How to design co-programs},
journal = {J. Funct. Program.},
volume = {31},
pages = {e15},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000113},
doi = {10.1017/S0956796821000113},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gibbons21.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}
}
@proceedings{DBLP:conf/pldi/2021array,
editor = {Tze Meng Low and
Jeremy Gibbons},
title = {{ARRAY} 2021: Proceedings of the 7th {ACM} {SIGPLAN} International
Workshop on Libraries, Languages and Compilers for Array Programming,
Virtual Event, Canada, 21 June, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460944},
doi = {10.1145/3460944},
isbn = {978-1-4503-8466-7},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2021array.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-10413,
author = {Jeremy Gibbons},
title = {Continuation-Passing Style, Defunctionalization, Accumulations, and
Associativity},
journal = {CoRR},
volume = {abs/2111.10413},
year = {2021},
url = {https://arxiv.org/abs/2111.10413},
eprinttype = {arXiv},
eprint = {2111.10413},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-10413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07488,
author = {Bryce Clarke and
Derek Elkins and
Jeremy Gibbons and
Fosco Loregi{\`{a}}n and
Bartosz Milewski and
Emily Pillmore and
Mario Rom{\'{a}}n},
title = {Profunctor optics, a categorical update},
journal = {CoRR},
volume = {abs/2001.07488},
year = {2020},
url = {https://arxiv.org/abs/2001.07488},
eprinttype = {arXiv},
eprint = {2001.07488},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/Gibbons19,
author = {Jeremy Gibbons},
editor = {Alvin Cheung and
Kim Nguyen},
title = {Comprehending Ringads (keynote)},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Symposium on
Database Programming Languages, {DBPL} 2019, Phoenix, AZ, USA, June
23, 2019},
pages = {1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315507.3337934},
doi = {10.1145/3315507.3337934},
timestamp = {Sun, 12 Nov 2023 02:16:34 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/Gibbons19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Gibbons19,
author = {Jeremy Gibbons},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {The School of Squiggol - {A} History of the Bird-Meertens Formalism},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
pages = {35--53},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54997-8\_2},
doi = {10.1007/978-3-030-54997-8\_2},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/Gibbons19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons19,
author = {Jeremy Gibbons},
editor = {Graham Hutton},
title = {Coding with Asymmetric Numeral Systems},
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 = {444--465},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_16},
doi = {10.1007/978-3-030-33636-3\_16},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2019tyde,
editor = {David Darais and
Jeremy Gibbons},
title = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331554},
doi = {10.1145/3331554},
isbn = {978-1-4503-6815-5},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2019tyde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2019array,
editor = {Jeremy Gibbons},
title = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on Libraries,
Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix,
AZ, USA, June 22, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315454},
doi = {10.1145/3315454},
isbn = {978-1-4503-6717-2},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2019array.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BoisseauG18,
author = {Guillaume Boisseau and
Jeremy Gibbons},
title = {What you needa know about Yoneda: profunctor optics and the Yoneda
lemma (functional pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {84:1--84:27},
year = {2018},
url = {https://doi.org/10.1145/3236779},
doi = {10.1145/3236779},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BoisseauG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GibbonsHHW18,
author = {Jeremy Gibbons and
Fritz Henglein and
Ralf Hinze and
Nicolas Wu},
title = {Relational algebra by way of adjunctions},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {86:1--86:28},
year = {2018},
url = {https://doi.org/10.1145/3236781},
doi = {10.1145/3236781},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/GibbonsHHW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2016bt,
editor = {Jeremy Gibbons and
Perdita Stevens},
title = {Bidirectional Transformations - International Summer School, Oxford,
UK, July 25-29, 2016, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9715},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-79108-1},
doi = {10.1007/978-3-319-79108-1},
isbn = {978-3-319-79107-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/2016bt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KoG17,
author = {Hsiang{-}Shang Ko and
Jeremy Gibbons},
title = {Programming with ornaments},
journal = {J. Funct. Program.},
volume = {27},
pages = {e2},
year = {2017},
url = {https://doi.org/10.1017/S0956796816000307},
doi = {10.1017/S0956796816000307},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/KoG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Abou-SalehMG17,
author = {Faris Abou{-}Saleh and
James McKinna and
Jeremy Gibbons},
title = {Coalgebraic Aspects of Bidirectional Computation},
journal = {J. Object Technol.},
volume = {16},
number = {1},
pages = {1:1--29},
year = {2017},
url = {https://doi.org/10.5381/jot.2017.16.1.a1},
doi = {10.5381/JOT.2017.16.1.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Abou-SalehMG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/CheneyGMS17,
author = {James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
title = {On principles of Least Change and Least Surprise for bidirectional
transformations},
journal = {J. Object Technol.},
volume = {16},
number = {1},
pages = {3:1--31},
year = {2017},
url = {https://doi.org/10.5381/jot.2017.16.1.a3},
doi = {10.5381/JOT.2017.16.1.A3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/CheneyGMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/PickeringGW17,
author = {Matthew Pickering and
Jeremy Gibbons and
Nicolas Wu},
title = {Profunctor Optics: Modular Data Accessors},
journal = {Art Sci. Eng. Program.},
volume = {1},
number = {2},
pages = {7},
year = {2017},
url = {https://doi.org/10.22152/programming-journal.org/2017/1/7},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2017/1/7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/PickeringGW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Gibbons17,
author = {Jeremy Gibbons},
editor = {Hongseok Yang},
title = {APLicative Programming with Naperian Functors},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {556--583},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_21},
doi = {10.1007/978-3-662-54434-1\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Gibbons17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/StevensG17,
author = {Perdita Stevens and
Jeremy Gibbons},
editor = {Romina Eramo and
Michael Johnson},
title = {On Ontologology},
booktitle = {Proceedings of the 6th International Workshop on Bidirectional Transformations
co-located with The European Joint Conferences on Theory and Practice
of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1827},
pages = {54--58},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1827/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/etaps/StevensG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PickeringGW17,
author = {Matthew Pickering and
Jeremy Gibbons and
Nicolas Wu},
title = {Profunctor Optics: Modular Data Accessors},
journal = {CoRR},
volume = {abs/1703.10857},
year = {2017},
url = {http://arxiv.org/abs/1703.10857},
eprinttype = {arXiv},
eprint = {1703.10857},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PickeringGW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Gibbons16,
author = {Jeremy Gibbons},
title = {Kernels, in a nutshell},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {921--930},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.006},
doi = {10.1016/J.JLAMP.2015.10.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Gibbons16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Abou-SalehCGMS16,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Jeremy Gibbons and
Perdita Stevens},
title = {Introduction to Bidirectional Transformations},
booktitle = {Bidirectional Transformations - International Summer School, Oxford,
UK, July 25-29, 2016, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9715},
pages = {1--28},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-79108-1\_1},
doi = {10.1007/978-3-319-79108-1\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Abou-SalehCGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Abou-SalehCGMS16,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {Reflections on Monadic Lenses},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {1--31},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_1},
doi = {10.1007/978-3-319-30936-1\_1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Abou-SalehCGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Gibbons16,
author = {Jeremy Gibbons},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th
Birthday},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {132--151},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_7},
doi = {10.1007/978-3-319-30936-1\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Gibbons16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Gibbons16,
author = {Jeremy Gibbons},
editor = {Geoffrey Mainland},
title = {Free delivery (functional pearl)},
booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell
2016, Nara, Japan, September 22-23, 2016},
pages = {45--50},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976002.2976005},
doi = {10.1145/2976002.2976005},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/haskell/Gibbons16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Gibbons16,
author = {Jeremy Gibbons},
editor = {James Chapman and
Wouter Swierstra},
title = {APLicative programming with Naperian functors (extended abstract)},
booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development,
TyDe@ICFP 2016, Nara, Japan, September 18, 2016},
pages = {13--14},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976022.2976023},
doi = {10.1145/2976022.2976023},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Gibbons16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2016bx,
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571},
urn = {urn:nbn:de:0074-1571-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/2016bx.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abou-SalehCGMS16,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
title = {Reflections on Monadic Lenses},
journal = {CoRR},
volume = {abs/1601.02484},
year = {2016},
url = {http://arxiv.org/abs/1601.02484},
eprinttype = {arXiv},
eprint = {1601.02484},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/PirogWG15,
author = {Maciej Pir{\'{o}}g and
Nicolas Wu and
Jeremy Gibbons},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Modules Over Monads and Their Algebras},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {290--303},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.290},
doi = {10.4230/LIPICS.CALCO.2015.290},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/PirogWG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Abou-SalehCGMS15,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Notions of Bidirectional Computation and Entangled State Monads},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {187--214},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_9},
doi = {10.1007/978-3-319-19797-5\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DaviesGMMSSW15,
author = {Jim Davies and
Jeremy Gibbons and
Adam Milward and
David Milward and
Seyyed Shah and
Monika Solanki and
James Welch},
editor = {Jeff Gray and
Jonathan Sprinkle and
Juha{-}Pekka Tolvanen and
Matti Rossi},
title = {Domain specific modelling for clinical research},
booktitle = {Proceedings of the Workshop on Domain-Specific Modeling, DSM@SPLASH
2015, Pittsburgh, PA, USA, October 27, 2015},
pages = {1--8},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2846696.2846701},
doi = {10.1145/2846696.2846701},
timestamp = {Mon, 21 Jun 2021 12:26:28 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DaviesGMMSSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HinzeWG15,
author = {Ralf Hinze and
Nicolas Wu and
Jeremy Gibbons},
editor = {Sriram K. Rajamani and
David Walker},
title = {Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion
Schemes},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {527--538},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676989},
doi = {10.1145/2676726.2676989},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/HinzeWG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Abou-SalehMG15,
author = {Faris Abou{-}Saleh and
James McKinna and
Jeremy Gibbons},
editor = {Alcino Cunha and
Ekkart Kindler},
title = {Coalgebraic Aspects of Bidirectional Computation},
booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations
co-located with Software Technologies: Applications and Foundations,
{STAF} 2015, L'Aquila, Italy, July 24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1396},
pages = {16--30},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1396/p16-abousaleh.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/Abou-SalehMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/CheneyGMS15,
author = {James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Alcino Cunha and
Ekkart Kindler},
title = {Towards a Principle of Least Surprise for Bidirectional Transformations},
booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations
co-located with Software Technologies: Applications and Foundations,
{STAF} 2015, L'Aquila, Italy, July 24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1396},
pages = {66--80},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1396/p66-cheney.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/CheneyGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PirogG16,
author = {Maciej Pir{\'{o}}g and
Jeremy Gibbons},
editor = {Olivier Danvy and
Ugo de'Liguoro},
title = {From Push/Enter to Eval/Apply by Program Transformation},
booktitle = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
April 12th 2015},
series = {{EPTCS}},
volume = {212},
pages = {53--62},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.212.4},
doi = {10.4204/EPTCS.212.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PirogG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abou-SalehCGMS15,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
title = {Notions of bidirectional computation and entangled state monads},
journal = {CoRR},
volume = {abs/1505.02579},
year = {2015},
url = {http://arxiv.org/abs/1505.02579},
eprinttype = {arXiv},
eprint = {1505.02579},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GibbonsN14,
author = {Jeremy Gibbons and
Pablo Nogueira},
title = {Selected papers from Mathematics of Program Construction 2012},
journal = {Sci. Comput. Program.},
volume = {85},
pages = {101},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.09.004},
doi = {10.1016/J.SCICO.2013.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GibbonsN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DaviesGWC14,
author = {Jim Davies and
Jeremy Gibbons and
James Welch and
Edward Crichton},
title = {Model-driven engineering of information systems: 10 years and 1000
versions},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {88--104},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.02.002},
doi = {10.1016/J.SCICO.2013.02.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DaviesGWC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DaviesGHC14,
author = {Jim Davies and
Jeremy Gibbons and
Steve Harris and
Charles Crichton},
title = {The CancerGrid experience: Metadata-based model-driven engineering
for clinical trials},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {126--143},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.02.010},
doi = {10.1016/J.SCICO.2013.02.010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DaviesGHC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Gibbons14,
author = {Jeremy Gibbons},
title = {{SIGPLAN} vice-chair's report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {2},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641641},
doi = {10.1145/2641638.2641641},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Gibbons14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BoehmDFFGHHPTVW14,
author = {Hans{-}Juergen Boehm and
Jack W. Davidson and
Kathleen Fisher and
Cormac Flanagan and
Jeremy Gibbons and
Mary W. Hall and
Graham Hutton and
David A. Padua and
Frank Tip and
Jan Vitek and
Philip Wadler},
title = {Practices of {PLDI}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {33--38},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641649},
doi = {10.1145/2641638.2641649},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/BoehmDFFGHHPTVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CheneyMSG14,
author = {James Cheney and
James McKinna and
Perdita Stevens and
Jeremy Gibbons},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Towards a Repository of Bx Examples},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {87--91},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/edbt/CheneyMSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CheneyMSGA14,
author = {James Cheney and
James McKinna and
Perdita Stevens and
Jeremy Gibbons and
Faris Abou{-}Saleh},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Entangled State Monads},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {108--111},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/CheneyMSGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsW14,
author = {Jeremy Gibbons and
Nicolas Wu},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Folding domain-specific languages: deep and shallow embeddings (functional
Pearl)},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {339--347},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628138},
doi = {10.1145/2628136.2628138},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GibbonsW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PirogG14,
author = {Maciej Pir{\'{o}}g and
Jeremy Gibbons},
editor = {Bart Jacobs and
Alexandra Silva and
Sam Staton},
title = {The Coinductive Resumption Monad},
booktitle = {Proceedings of the 30th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {308},
pages = {273--288},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.10.015},
doi = {10.1016/J.ENTCS.2014.10.015},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PirogG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fhies/2013,
editor = {Jeremy Gibbons and
Wendy MacCaull},
title = {Foundations of Health Information Engineering and Systems - Third
International Symposium, {FHIES} 2013, Macau, China, August 21-23,
2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8315},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-53956-5},
doi = {10.1007/978-3-642-53956-5},
isbn = {978-3-642-53955-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhies/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WangGMH13,
author = {Meng Wang and
Jeremy Gibbons and
Kazutaka Matsuda and
Zhenjiang Hu},
title = {Refactoring pattern matching},
journal = {Sci. Comput. Program.},
volume = {78},
number = {11},
pages = {2216--2242},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.014},
doi = {10.1016/J.SCICO.2012.07.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WangGMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Gibbons13,
author = {Jeremy Gibbons},
title = {{ACM} {SIGPLAN} vice-chair's report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {3},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502511},
doi = {10.1145/2502508.2502511},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Gibbons13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Gibbons13,
author = {Jeremy Gibbons},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Functional Programming for Domain-Specific Languages},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {1--28},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_1},
doi = {10.1007/978-3-319-15940-9\_1},
timestamp = {Sun, 02 Oct 2022 15:56:39 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Gibbons13.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}
}
@inproceedings{DBLP:conf/icfp/KoG13,
author = {Hsiang{-}Shang Ko and
Jeremy Gibbons},
editor = {Stephanie Weirich},
title = {Relational algebraic ornaments},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
24, 2013},
pages = {37--48},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502409.2502413},
doi = {10.1145/2502409.2502413},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KoG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeWG13,
author = {Ralf Hinze and
Nicolas Wu and
Jeremy Gibbons},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Unifying structured recursion schemes},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {209--220},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500578},
doi = {10.1145/2500365.2500578},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HinzeWG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PirogG13,
author = {Maciej Pir{\'{o}}g and
Jeremy Gibbons},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {Monads for Behaviour},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {309--324},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.019},
doi = {10.1016/J.ENTCS.2013.09.019},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PirogG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GibbonsJ12,
author = {Jeremy Gibbons and
Michael Johnson},
title = {Relating Algebraic and Coalgebraic Descriptions of Lenses},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {49},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.49.726},
doi = {10.14279/TUJ.ECEASST.49.726},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GibbonsJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CliftonGDT12,
author = {David A. Clifton and
Jeremy Gibbons and
Jim Davies and
Lionel Tarassenko},
editor = {Rachel Harrison},
title = {Machine learning and software engineering in health informatics},
booktitle = {Proceedings of the First International Workshop on Realizing {AI}
Synergies in Software Engineering, {RAISE} 2012, Zurich, Switzerland,
June 5, 2012},
pages = {37--41},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/RAISE.2012.6227968},
doi = {10.1109/RAISE.2012.6227968},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CliftonGDT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DaviesGMW12,
author = {Jim Davies and
Jeremy Gibbons and
David Milward and
James Welch},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Compositionality and Refinement in Model-Driven Engineering},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {99--114},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_9},
doi = {10.1007/978-3-642-33296-8\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DaviesGMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Gibbons12,
author = {Jeremy Gibbons},
editor = {Burkhart Wolff and
Marie{-}Claude Gaudel and
Abderrahmane Feliachi},
title = {Unifying Theories of Programming with Monads},
booktitle = {Unifying Theories of Programming, 4th International Symposium, {UTP}
2012, Paris, France, August 27-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7681},
pages = {23--67},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35705-3\_2},
doi = {10.1007/978-3-642-35705-3\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/Gibbons12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2922,
author = {Maciej Pir{\'{o}}g and
Jeremy Gibbons},
editor = {James Chapman and
Paul Blain Levy},
title = {Tracing monadic computations and representing effects},
booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {76},
pages = {90--111},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.76.8},
doi = {10.4204/EPTCS.76.8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2012,
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0},
doi = {10.1007/978-3-642-31113-0},
isbn = {978-3-642-31112-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssgip/2010,
editor = {Jeremy Gibbons},
title = {Generic and Indexed Programming - International Spring School, {SSGIP}
2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7470},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32202-0},
doi = {10.1007/978-3-642-32202-0},
isbn = {978-3-642-32201-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssgip/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WongG11,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
title = {Formalisations and applications of {BPMN}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {633--650},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.09.010},
doi = {10.1016/J.SCICO.2009.09.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WongG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WongG11a,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
title = {Property specifications for workflow modelling},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {942--967},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.007},
doi = {10.1016/J.SCICO.2010.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WongG11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/DaviesGCCHT11,
author = {Jim Davies and
Jeremy Gibbons and
Radu Calinescu and
Charles Crichton and
Steve Harris and
Andrew Tsui},
editor = {Zhiming Liu and
Alan Wassyng},
title = {Form Follows Function - Model-Driven Engineering for Clinical Trials},
booktitle = {Foundations of Health Informatics Engineering and Systems - First
International Symposium, {FHIES} 2011, Johannesburg, South Africa,
August 29-30, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7151},
pages = {21--38},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32355-3\_2},
doi = {10.1007/978-3-642-32355-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhies/DaviesGCCHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsH11,
author = {Jeremy Gibbons and
Ralf Hinze},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Just do it: simple monadic equational reasoning},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {2--14},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034777},
doi = {10.1145/2034773.2034777},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GibbonsH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KoG11,
author = {Hsiang{-}Shang Ko and
Jeremy Gibbons},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Modularising inductive families},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {13--24},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036921},
doi = {10.1145/2036918.2036921},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KoG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WangGW11,
author = {Meng Wang and
Jeremy Gibbons and
Nicolas Wu},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Incremental updates for efficient bidirectional transformations},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {392--403},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034825},
doi = {10.1145/2034773.2034825},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/WangGW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0782,
author = {Jeremy Gibbons},
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Maximum Segment Sum, Monadically (distilled tutorial)},
booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
pages = {181--194},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66.9},
doi = {10.4204/EPTCS.66.9},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gibbons10,
author = {Jeremy Gibbons},
title = {Editorial},
journal = {J. Funct. Program.},
volume = {20},
number = {1},
pages = {1},
year = {2010},
url = {https://doi.org/10.1017/S0956796809990256},
doi = {10.1017/S0956796809990256},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gibbons10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/OliveiraG10,
author = {Bruno C. d. S. Oliveira and
Jeremy Gibbons},
title = {Scala for generic programmers},
journal = {J. Funct. Program.},
volume = {20},
number = {3-4},
pages = {303--352},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000171},
doi = {10.1017/S0956796810000171},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/OliveiraG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/DaviesG10,
author = {Jim Davies and
Jeremy Gibbons},
editor = {Tomasz Janowski and
Hrushikesha Mohanty},
title = {Semantic Frameworks - Meanings in the Architecture},
booktitle = {Distributed Computing and Internet Technology, 6th International Conference,
{ICDCIT} 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5966},
pages = {40--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11659-9\_4},
doi = {10.1007/978-3-642-11659-9\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/DaviesG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WangGMH10,
author = {Meng Wang and
Jeremy Gibbons and
Kazutaka Matsuda and
Zhenjiang Hu},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Gradual Refinement},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {397--425},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_22},
doi = {10.1007/978-3-642-13321-3\_22},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/WangGMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2010,
editor = {Jeremy Gibbons},
title = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2010, Baltimore, MD, USA, 30 September 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863523},
doi = {10.1145/1863523},
isbn = {978-1-4503-0252-4},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GibbonsO09,
author = {Jeremy Gibbons and
Bruno C. d. S. Oliveira},
title = {The essence of the Iterator pattern},
journal = {J. Funct. Program.},
volume = {19},
number = {3-4},
pages = {377--402},
year = {2009},
url = {https://doi.org/10.1017/S0956796809007291},
doi = {10.1017/S0956796809007291},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GibbonsO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/DaviesG09,
author = {Jim Davies and
Jeremy Gibbons},
title = {Formal methods for future interoperability},
journal = {{ACM} {SIGCSE} Bull.},
volume = {41},
number = {2},
pages = {60--64},
year = {2009},
url = {https://doi.org/10.1145/1595453.1595463},
doi = {10.1145/1595453.1595463},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/DaviesG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/CrichtonDGHST09,
author = {Charles Crichton and
Jim Davies and
Jeremy Gibbons and
Steve Harris and
Aadya Shukla and
Andrew Tsui},
title = {Semantics-Driven Development for Electronic Government Applications},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.384},
doi = {10.1109/HICSS.2009.384},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/CrichtonDGHST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsP09,
author = {Jeremy Gibbons and
Ross Paterson},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Parametric datatype-genericity},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {85--93},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596626},
doi = {10.1145/1596614.1596626},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/GibbonsP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CrichtonDGHTB09,
author = {Charles Crichton and
Jim Davies and
Jeremy Gibbons and
Steve Harris and
Andrew Tsui and
James D. Brenton},
title = {Metadata-driven software for clinical trials},
booktitle = {{ICSE} Workshop on Software Engineering in Health Care, {SEHC} 2009,
Vancouver, BC, Canada, May 18-19, 2009},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEHC.2009.5069600},
doi = {10.1109/SEHC.2009.5069600},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CrichtonDGHTB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WongG09,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Property Specifications for Workflow Modelling},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {56--71},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_5},
doi = {10.1007/978-3-642-00255-7\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/WongG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tfm/2009,
editor = {Jeremy Gibbons and
Jos{\'{e}} Nuno Oliveira},
title = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5846},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04912-5},
doi = {10.1007/978-3-642-04912-5},
isbn = {978-3-642-04911-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tfm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/ZangCHTKGDMC08,
author = {Tianyi Zang and
Radu Calinescu and
Steve Harris and
Andrew Tsui and
Marta Z. Kwiatkowska and
Jeremy Gibbons and
Jim Davies and
Peter Maccallum and
Carlos Caldas},
title = {WSRF-Based Modeling of Clinical Trial Information for Collaborative
Cancer Research},
booktitle = {8th {IEEE} International Symposium on Cluster Computing and the Grid
(CCGrid 2008), 19-22 May 2008, Lyon, France},
pages = {73--81},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CCGRID.2008.57},
doi = {10.1109/CCGRID.2008.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/ZangCHTKGDMC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/ZangCHTCKGDBC08,
author = {Tianyi Zang and
Radu Calinescu and
Steve Harris and
Andrew Tsui and
Charles Crichton and
Marta Z. Kwiatkowska and
Jeremy Gibbons and
Jim Davies and
James D. Brenton and
Carlos Caldas},
title = {Metamodel-Based Generation of WSRF-Compliant {SOA} for Collaborative
Cancer Research},
booktitle = {Fourth International Conference on e-Science, e-Science 2008, 7-12
December 2008, Indianapolis, IN, {USA}},
pages = {406--407},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/eScience.2008.129},
doi = {10.1109/ESCIENCE.2008.129},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/ZangCHTCKGDBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/HarrisGDTC08,
author = {Steve Harris and
Jeremy Gibbons and
Jim Davies and
Andrew Tsui and
Charles Crichton},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Semantic technologies in electronic government},
booktitle = {Proceedings of the 2nd International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2008, Cairo, Egypt, December 1-4,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {351},
pages = {45--51},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1509096.1509108},
doi = {10.1145/1509096.1509108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/HarrisGDTC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/DaviesHCSG08,
author = {Jim Davies and
Steve Harris and
Charles Crichton and
Aadya Shukla and
Jeremy Gibbons},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Metadata standards for semantic interoperability in electronic government},
booktitle = {Proceedings of the 2nd International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2008, Cairo, Egypt, December 1-4,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {351},
pages = {67--75},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1509096.1509111},
doi = {10.1145/1509096.1509111},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icegov/DaviesHCSG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/CechichMGK08,
author = {Alejandra Cechich and
Lorenzo Madrid and
Jeremy Gibbons and
Jay P. Kesan},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Interoperability frameworks for electronic governance},
booktitle = {Proceedings of the 2nd International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2008, Cairo, Egypt, December 1-4,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {351},
pages = {490--491},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1509096.1509207},
doi = {10.1145/1509096.1509207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/CechichMGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WongG08,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {A Process Semantics for {BPMN}},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {355--374},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_22},
doi = {10.1007/978-3-540-88194-0\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WongG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OliveiraG08,
author = {Bruno C. d. S. Oliveira and
Jeremy Gibbons},
editor = {Ralf Hinze and
Don Syme},
title = {Scala for generic programmers},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {25--36},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411323},
doi = {10.1145/1411318.1411323},
timestamp = {Tue, 15 Feb 2022 13:05:32 +0100},
biburl = {https://dblp.org/rec/conf/icfp/OliveiraG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/WongG08,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Antonio Vallecillo and
Jeff Gray and
Alfonso Pierantonio},
title = {On Specifying and Visualising Long-Running Empirical Studies},
booktitle = {Theory and Practice of Model Transformations - 1st International Conference,
ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5063},
pages = {76--90},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69927-9\_6},
doi = {10.1007/978-3-540-69927-9\_6},
timestamp = {Mon, 21 Jun 2021 12:26:29 +0200},
biburl = {https://dblp.org/rec/conf/icmt/WongG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons08,
author = {Jeremy Gibbons},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Unfolding Abstract Datatypes},
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 = {110--133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_8},
doi = {10.1007/978-3-540-70594-9\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OliveiraWG08,
author = {Bruno C. d. S. Oliveira and
Meng Wang and
Jeremy Gibbons},
editor = {Gail E. Harris},
title = {The visitor pattern as a reusable, generic, type-safe component},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {439--456},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449799},
doi = {10.1145/1449764.1449799},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OliveiraWG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/WongG08,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Hong Zhu},
title = {Verifying Business Process Compatibility (Short Paper)},
booktitle = {Proceedings of the Eighth International Conference on Quality Software,
{QSIC} 2008, 12-13 August 2008, Oxford, {UK}},
pages = {126--131},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QSIC.2008.6},
doi = {10.1109/QSIC.2008.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/WongG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/SmithG08,
author = {Michael Anthony Smith and
Jeremy Gibbons},
editor = {Andrew Butterfield},
title = {Unifying Theories of Locations},
booktitle = {Unifying Theories of Programming, Second International Symposium,
{UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5713},
pages = {161--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-14521-6\_10},
doi = {10.1007/978-3-642-14521-6\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/SmithG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WongG09,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {A Relative Timed Semantics for {BPMN}},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {59--75},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.029},
doi = {10.1016/J.ENTCS.2009.06.029},
timestamp = {Fri, 24 Feb 2023 11:36:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WongG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Gibbons07,
author = {Jeremy Gibbons},
title = {Metamorphisms: Streaming representation-changers},
journal = {Sci. Comput. Program.},
volume = {65},
number = {2},
pages = {108--139},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.01.006},
doi = {10.1016/J.SCICO.2006.01.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Gibbons07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/CrichtonDGHS07,
author = {Charles Crichton and
Jim Davies and
Jeremy Gibbons and
Steve Harris and
Aadya Shukla},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Semantic frameworks for e-government},
booktitle = {Proceedings of the 1st International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2007, Macao, China, December 10-13,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {232},
pages = {30--39},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1328057.1328066},
doi = {10.1145/1328057.1328066},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/CrichtonDGHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SmithG07,
author = {Michael Anthony Smith and
Jeremy Gibbons},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Unifying Theories of Objects},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {599--618},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_31},
doi = {10.1007/978-3-540-73210-5\_31},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SmithG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CalinescuHGDTN07,
author = {Radu Calinescu and
Steve Harris and
Jeremy Gibbons and
Jim Davies and
Igor Toujilov and
Sylvia B. Nagl},
title = {Model-driven architecture for cancer research},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.26},
doi = {10.1109/SEFM.2007.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CalinescuHGDTN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/WongG07,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Markus Lumpe and
Wim Vanderperren},
title = {A Process-Algebraic Approach to Workflow Specification and Refinement},
booktitle = {Software Composition - 6th International Symposium, SC@ETAPS 2007,
Braga, Portugal, March 24-25, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4829},
pages = {51--65},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77351-1\_5},
doi = {10.1007/978-3-540-77351-1\_5},
timestamp = {Thu, 25 Jun 2020 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/soco/WongG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2007,
editor = {Jim Davies and
Jeremy Gibbons},
title = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5},
doi = {10.1007/978-3-540-73210-5},
isbn = {978-3-540-73209-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssdgp/2006,
editor = {Roland Carl Backhouse and
Jeremy Gibbons and
Ralf Hinze and
Johan Jeuring},
title = {Datatype-Generic Programming - International Spring School, {SSDGP}
2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {4719},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76786-2},
doi = {10.1007/978-3-540-76786-2},
isbn = {978-3-540-76785-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssdgp/2006.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/tamm/Gibbons06,
author = {Jeremy Gibbons},
title = {Unbounded Spigot Algorithms for the Digits of Pi},
journal = {Am. Math. Mon.},
volume = {113},
number = {4},
pages = {318--328},
year = {2006},
url = {http://www.jstor.org/stable/27641917},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/Gibbons06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Gibbons06,
author = {Jeremy Gibbons},
editor = {Ralf Hinze},
title = {Design patterns as higher-order datatype-generic programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {1--12},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159863},
doi = {10.1145/1159861.1159863},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Gibbons06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons06,
author = {Jeremy Gibbons},
editor = {Tarmo Uustalu},
title = {Fission for Program Comprehension},
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 = {162--179},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_12},
doi = {10.1007/11783596\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GibbonsO06,
author = {Jeremy Gibbons and
Bruno C. d. S. Oliveira},
editor = {Conor McBride and
Tarmo Uustalu},
title = {The Essence of the {ITERATOR} Pattern},
booktitle = {Workshop on Mathematically Structured Functional Programming, MSFP@MPC
2006, Kuressaare, Estonia, July 2, 2006},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2006},
url = {http://ewic.bcs.org/content/ConWebDoc/5345},
timestamp = {Tue, 03 Jan 2017 16:54:22 +0100},
biburl = {https://dblp.org/rec/conf/mpc/GibbonsO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DanielssonHJG06,
author = {Nils Anders Danielsson and
John Hughes and
Patrik Jansson and
Jeremy Gibbons},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Fast and loose reasoning is morally correct},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {206--217},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111056},
doi = {10.1145/1111037.1111056},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DanielssonHJG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdgp/Gibbons06,
author = {Jeremy Gibbons},
editor = {Roland Carl Backhouse and
Jeremy Gibbons and
Ralf Hinze and
Johan Jeuring},
title = {Datatype-Generic Programming},
booktitle = {Datatype-Generic Programming - International Spring School, {SSDGP}
2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {4719},
pages = {1--71},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-76786-2\_1},
doi = {10.1007/978-3-540-76786-2\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ssdgp/Gibbons06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GibbonsH05,
author = {Jeremy Gibbons and
Graham Hutton},
title = {Proof Methods for Corecursive Programs},
journal = {Fundam. Informaticae},
volume = {66},
number = {4},
pages = {353--366},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GibbonsH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/OliveiraG05,
author = {Bruno C. d. S. Oliveira and
Jeremy Gibbons},
editor = {Daan Leijen},
title = {TypeCase: a design pattern for type-indexed functions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2005,
Tallinn, Estonia, September 30, 2005},
pages = {98--109},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088348.1088358},
doi = {10.1145/1088348.1088358},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/OliveiraG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MartinGB04,
author = {Clare E. Martin and
Jeremy Gibbons and
Ian Bayley},
title = {Disciplined, efficient, generalised folds for nested datatypes},
journal = {Formal Aspects Comput.},
volume = {16},
number = {1},
pages = {19--35},
year = {2004},
url = {https://doi.org/10.1007/s00165-003-0013-6},
doi = {10.1007/S00165-003-0013-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MartinGB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons04,
author = {Jeremy Gibbons},
editor = {Dexter Kozen and
Carron Shankland},
title = {Streaming Representation-Changers},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {142--168},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_9},
doi = {10.1007/978-3-540-27764-4\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SimpsonMGDM03,
author = {Andrew Simpson and
Andrew P. Martin and
Jeremy Gibbons and
Jim Davies and
Steve McKeever},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {On The Supervision and Assessment Of Part-Time Postgraduate Software
Engineering Projects},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {628--633},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201247},
doi = {10.1109/ICSE.2003.1201247},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SimpsonMGDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2003gp,
editor = {Roland Carl Backhouse and
Jeremy Gibbons},
title = {Generic Programming - Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2793},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b12027},
doi = {10.1007/B12027},
isbn = {3-540-20194-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/2003gp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2-1/2002,
editor = {Jeremy Gibbons and
Johan Jeuring},
title = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
Programming, July 11-12, 2002, Dagstuhl, Germany},
series = {{IFIP} Conference Proceedings},
volume = {243},
publisher = {Kluwer},
year = {2003},
isbn = {1-4020-7374-7},
timestamp = {Wed, 26 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip2-1/2002.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/coordination/Gibbons02,
author = {Jeremy Gibbons},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Towards a Colimit-Based Semantics for Visual Programming},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {166--173},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_18},
doi = {10.1007/3-540-46000-4\_18},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Gibbons02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acmmpc/2000,
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {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},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47797-7},
doi = {10.1007/3-540-47797-7},
isbn = {3-540-43613-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmmpc/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HuttonG01,
author = {Graham Hutton and
Jeremy Gibbons},
title = {The generic approximation lemma},
journal = {Inf. Process. Lett.},
volume = {79},
number = {4},
pages = {197--201},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(00)00220-9},
doi = {10.1016/S0020-0190(00)00220-9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/HuttonG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MartinG01,
author = {Clare E. Martin and
Jeremy Gibbons},
title = {On the semantics of nested datatypes},
journal = {Inf. Process. Lett.},
volume = {80},
number = {5},
pages = {233--238},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(01)00168-5},
doi = {10.1016/S0020-0190(01)00168-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MartinG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GibbonsHA01,
author = {Jeremy Gibbons and
Graham Hutton and
Thorsten Altenkirch},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {When is a function a fold or an unfold?},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {146--160},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80906-X},
doi = {10.1016/S1571-0661(04)80906-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GibbonsHA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Gibbons00,
author = {Jeremy Gibbons},
title = {Generic downwards accumulations},
journal = {Sci. Comput. Program.},
volume = {37},
number = {1-3},
pages = {37--65},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00022-2},
doi = {10.1016/S0167-6423(99)00022-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Gibbons00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmmpc/Gibbons00,
author = {Jeremy Gibbons},
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {Calculating Functional Programs},
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 = {149--202},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-47797-7\_5},
doi = {10.1007/3-540-47797-7\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/acmmpc/Gibbons00.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}
}
@inproceedings{DBLP:conf/amast/MoorG00,
author = {Oege de Moor and
Jeremy Gibbons},
editor = {Teodor Rus},
title = {Invited Talk: Pointwise Relational Programming},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {371--390},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_27},
doi = {10.1007/3-540-45499-3\_27},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/MoorG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gibbons99,
author = {Jeremy Gibbons},
title = {A Pointless Derivation of Radix Sort},
journal = {J. Funct. Program.},
volume = {9},
number = {3},
pages = {339--346},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003354},
doi = {10.1017/S0956796899003354},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gibbons99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MoorG99,
author = {Oege de Moor and
Jeremy Gibbons},
title = {Bridging the Algorithm Gap: {A} Linear-Time Functional Program for
Paragraph Formatting},
journal = {Sci. Comput. Program.},
volume = {35},
number = {1},
pages = {3--27},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(99)00005-2},
doi = {10.1016/S0167-6423(99)00005-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MoorG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Gibbons88,
author = {Jeremy Gibbons},
title = {Structured Programing in Java},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {4},
pages = {40--43},
year = {1998},
url = {https://doi.org/10.1145/278283.278289},
doi = {10.1145/278283.278289},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Gibbons88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsJ98,
author = {Jeremy Gibbons and
Geraint Jones},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {The Under-Appreciated Unfold},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {273--279},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289455},
doi = {10.1145/289423.289455},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GibbonsJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons98,
author = {Jeremy Gibbons},
editor = {Johan Jeuring},
title = {Polytypic Downwards Accumulations},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {207--233},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054292},
doi = {10.1007/BFB0054292},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gibbons96,
author = {Jeremy Gibbons},
title = {Deriving Tidy Drawings of Trees},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {535--562},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001842},
doi = {10.1017/S0956796800001842},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gibbons96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gibbons96a,
author = {Jeremy Gibbons},
title = {The Third Homomorphism Theorem},
journal = {J. Funct. Program.},
volume = {6},
number = {4},
pages = {657--665},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001908},
doi = {10.1017/S0956796800001908},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gibbons96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Gibbons96,
author = {Jeremy Gibbons},
title = {Computing Downwards Accumulations on Trees Quickly},
journal = {Theor. Comput. Sci.},
volume = {169},
number = {1},
pages = {67--80},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)00114-4},
doi = {10.1016/S0304-3975(96)00114-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Gibbons96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dmtcs/1996,
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
publisher = {Springer-Verlag, Singapore},
year = {1996},
url = {https://www.cs.auckland.ac.nz/research/groups/CDMTCS/conferences/dmtcs96/},
isbn = {981-3083-14-X},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons95,
author = {Jeremy Gibbons},
editor = {Bernhard M{\"{o}}ller},
title = {An Initial-Algebra Approach to Directed Acyclic Graphs},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {282--303},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_16},
doi = {10.1007/3-540-60117-1\_16},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GibbonsCS94,
author = {Jeremy Gibbons and
Wentong Cai and
David B. Skillicorn},
title = {Efficient Parallel Algorithms for Tree Accumulations},
journal = {Sci. Comput. Program.},
volume = {23},
number = {1},
pages = {1--18},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00013-1},
doi = {10.1016/0167-6423(94)00013-1},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GibbonsCS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons92,
author = {Jeremy Gibbons},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Upwards and Downwards Accumulations on Trees},
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 = {122--138},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_11},
doi = {10.1007/3-540-56625-2\_11},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons92.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}
}
@phdthesis{DBLP:phd/ethos/Gibbons88,
author = {Jeremy Gibbons},
title = {A new view of binary trees},
school = {University of Oxford, {UK}},
year = {1988},
url = {http://ora.ox.ac.uk/objects/uuid:0ed98904-71e5-46ab-bca0-5eeb57b8ca08},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Gibbons88.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 2024-02-06 23:41 CET 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:
