Skip to main content

Jeremy Gibbons : Publications

Click here to download all publications in a single bibtex file

@article{continued,
  title = "Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity",
  author = "Jeremy Gibbons",
  year = "2021",
  journal = "The Art, Science, and Engineering of Programming",
  note = "Draft",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/continued.pdf",
}
@article{copro,
  title = "How to Design Co-Programs",
  author = "Jeremy Gibbons",
  year = "2021",
  journal = "Journal of Functional Programming",
  number = "e15",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/copro.pdf",
  volume = "31",
  doi = "10.1017/S0956796821000113",
}
@book{adwh,
  title = "Algorithm Design with Haskell",
  author = "Richard Bird and Jeremy Gibbons",
  year = "2020",
  isbn = "9781108491617",
  month = "July",
  publisher = "Cambridge University Press",
  url = "http://www.cs.ox.ac.uk/publications/books/adwh/",
}
@article{ifip60,
  title = "Algorithmics",
  author = "Richard Bird and Jeremy Gibbons and Ralf Hinze and Peter Hoefner and Johan Jeuring and Lambert Meertens and Bernhard Moeller and Carroll Morgan and Tom Schrijvers and Wouter Swierstra and Nicolas Wu",
  year = "2020",
  booktitle = "Advancing Research in Information and Communication Technology",
  month = "July",
  publisher = "Springer",
  series = "IFIP Advances in Information and Communication Technology",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ifip60.pdf",
  volume = "600",
  doi = "10.1007/978-3-030-81701-5_3",
}
@techreport{pocu,
  title = "Profunctor Optics, a Categorical Update",
  author = "Bryce Clarke and Derek Elkins and Jeremy Gibbons and Fosco Loregian and Bartosz Milewski and Emily Pillmore and Mario Román",
  year = "2020",
  howpublished = "arXiv",
  month = "January",
  number = "2001.07488",
  url = "https://arxiv.org/abs/2001.07488",
}
@inbook{qif,
  title = "Quantitative Information Flow with Monads in Haskell",
  author = "Jeremy Gibbons and Annabelle McIver and Carroll Morgan and Tom Schrijvers",
  year = "2020",
  booktitle = "Foundations of Probabilistic Programming",
  editor = "Gilles Barthe and Joost-Pieter Katoen and Alexandra Silva",
  publisher = "Cambridge University Press",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/kuifje.pdf",
  doi = "10.1017/9781108770750",
}
@inproceedings{squiggol-history,
  title = "The School of Squiggol: A History of the Bird-Meertens Formalism",
  author = "Jeremy Gibbons",
  year = "2020",
  booktitle = "Formal Methods (Workshop on History of Formal Methods)",
  editor = "Troy Astarte",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf",
  volume = "12233",
  doi = "10.1007/978-3-030-54997-8_2",
}
@phdthesis{zakian-dphil,
  title = "Cost semantics for heterogeneous parallel functional languages",
  author = "Tim Zakian",
  year = "2020",
  url = "https://ora.ox.ac.uk/objects/uuid:9f973626-8981-4329-ab38-76ba2efe301f",
}
@inproceedings{asymm,
  title = "Coding with Asymmetric Numeral Systems",
  author = "Jeremy Gibbons",
  year = "2019",
  booktitle = "Mathematics of Program Construction",
  month = "October",
  note = "To appear",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/asymm.pdf",
}
@article{reladj,
  title = "Relational Algebra by Way of Adjunctions",
  author = "Jeremy Gibbons and Fritz Henglein and Ralf Hinze and Nicolas Wu",
  year = "2018",
  journal = "PACMPL",
  month = "September",
  note = "Winner of a Distinguished Paper Award",
  number = "ICFP",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj.pdf",
  volume = "2",
  doi = "10.1145/3236781",
}
@article{proyo,
  title = "What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma",
  author = "Guillaume Boisseau and Jeremy Gibbons",
  year = "2018",
  journal = "PACMPL",
  month = "September",
  note = "Functional Pearl",
  number = "ICFP",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/proyo.pdf",
  volume = "2",
  doi = "10.1145/3236779",
}
@article{methodological,
  title = "On "Methodological Irregularities in Programming Language Research"",
  author = "Jeremy Gibbons",
  year = "2018",
  journal = "IEEE Computer",
  month = "April",
  number = "4",
  pages = "4-7",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/methodological.pdf",
  volume = "51",
  doi = "10.1109/MC.2018.2141027",
}
@book{aligned,
  title = "Engineering Agile Big-Data Systems",
  author = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  year = "2018",
  editor = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  isbn = "9788770220163",
  url = "https://www.riverpublishers.com/research_details.php?book_id=659",
}
@book{ssbx,
  title = "Bidirectional Transformations",
  author = "Jeremy Gibbons and Perdita Stevens",
  year = "2018",
  editor = "Jeremy Gibbons and Perdita Stevens",
  isbn = "978-3-319-79107-4",
  publisher = "Springer",
  series = "LNCS",
  url = "https://link.springer.com/book/10.1007%2F978-3-319-79108-1",
  volume = "9715",
  doi = "10.1007/978-3-319-79108-1",
}
@article{ssbx-intro,
  title = "Introduction to Bidirectional Transformations",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2018",
  booktitle = "Bidirectional Transformations",
  pages = "1-28",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ssbx-intro.pdf",
  volume = "9715",
  doi = "10.1007/978-3-319-79108-1_1",
}
@article{ontolology,
  title = "On Ontologology",
  author = "Perdita Stevens and Jeremy Gibbons",
  year = "2017",
  booktitle = "Sixth International Workshop on Bidirectional Transformations",
  editor = "Romina Eramo and Michael Johnson",
  month = "April",
  pages = "Paper 9",
  url = "http://ceur-ws.org/Vol-1827/paper9.pdf",
}
@inproceedings{aplicative,
  title = "APLicative Programming with Naperian Functors",
  author = "Jeremy Gibbons",
  year = "2017",
  booktitle = "European Symposium on Programming",
  editor = "Hongseok Yang",
  month = "April",
  pages = "568-583",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/aplicative.pdf",
  volume = "10201",
  doi = "10.1007/978-3-662-54434-1_21",
}
@inbook{lifecycle,
  title = "Software Project Management for Combined Software and Data Engineering",
  author = "Seyyed M. Shah and James Welch and Jim Davies and Jeremy Gibbons",
  year = "2017",
  booktitle = "Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools",
  editor = "Zaigham Mahmood",
  isbn = "978-3-319-54324-6",
  pages = "367-385",
  publisher = "Springer International Publishing",
  url = "https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf",
  doi = "10.1007/978-3-319-54325-3_15",
}
@article{poptics,
  title = "Profunctor Optics: Modular Data Accessors",
  author = "Matthew Pickering and Jeremy Gibbons and Nicolas Wu",
  year = "2017",
  journal = "The Art, Science, and Engineering of Programming",
  note = "Winner of Editors' Choice Award for <Programming> 2017",
  number = "2",
  publisher = "AOSA",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf",
  volume = "1",
  doi = "10.22152/programming-journal.org/2017/1/7",
}
@article{cbx-jot,
  title = "Coalgebraic Aspects of Bidirectional Computation",
  author = "Faris Abou-Saleh and James McKinna and Jeremy Gibbons",
  year = "2017",
  journal = "Journal of Object Technology",
  number = "1",
  pages = "1:1-29",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/cbx-jot.pdf",
  volume = "16",
  doi = "10.5381/jot.2017.16.1.a1",
}
@article{leastchange-jot,
  title = "On Principles of Least Change and Least Surprise for Bidirectional Transformations",
  author = "James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2017",
  journal = "Journal of Object Technology",
  number = "1",
  pages = "3:1-31",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/leastchange-jot.pdf",
  volume = "16",
  doi = "10.5381/jot.2017.16.1.a3",
}
@phdthesis{diaa,
  title = "Distributive Interaction of Algebraic Effects",
  author = "Kwok-Ho Cheung",
  year = "2017",
  url = "https://ora.ox.ac.uk/objects/uuid:66106628-0a71-4564-bc34-c398db766818",
}
@inproceedings{delivery,
  title = "Free Delivery (functional pearl)",
  author = "Jeremy Gibbons",
  year = "2016",
  booktitle = "Haskell Symposium",
  month = "September",
  pages = "45-50",
  publisher = "ACM",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/delivery.pdf",
  doi = "10.1145/2976002.2976005",
}
@inproceedings{apl-extabs,
  title = "APLicative Programming with Naperian Functors (extended abstract)",
  author = "Jeremy Gibbons",
  year = "2016",
  booktitle = "TyDe",
  month = "September",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/apl-extabs.pdf",
}
@article{kernels,
  title = "Kernels, in a Nutshell",
  author = "Jeremy Gibbons",
  year = "2016",
  journal = "Journal of Logical and Algebraic Methods in Programming",
  month = "August",
  number = "5, part 2",
  pages = "921-930",
  publisher = "Elsevier",
  url = "http://dx.doi.org/10.1016/j.jlamp.2015.10.006",
  volume = "85",
  doi = "10.1016/j.jlamp.2015.10.006",
}
@techreport{ati-reproducibility,
  title = "ATI Symposium on Reproducibility for Data-Intensive Research",
  author = "Lucie C. Burgess, David Crotty, David de Roure, Jeremy Gibbons, Carole Goble, Paolo Missier, Richard Mortier, Thomas E. Nichols, Richard O’Beirne",
  year = "2016",
  month = "July",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ati-reproducibility.pdf",
}
@inproceedings{peea,
  title = "From Push/Enter to Eval/Apply by Program Transformation",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2016",
  booktitle = "Proceedings of the Workshop on Continuations",
  editor = "Olivier Danvy and Ugo de'Liguoro",
  month = "June",
  pages = "53-62",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/peea.pdf",
  volume = "212",
  doi = "10.4204/EPTCS.212.4",
}
@inproceedings{mlenses,
  title = "Reflections on Monadic Lenses",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2016",
  booktitle = "A List of Successes That Can Change the World",
  month = "April",
  pages = "1-31",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mlenses.pdf",
  volume = "9600",
  doi = "10.1007/978-3-319-30936-1_1",
}
@inproceedings{ringads,
  title = "Comprehending Ringads: For Phil Wadler, on the Occasion of his 60th Birthday",
  author = "Jeremy Gibbons",
  year = "2016",
  booktitle = "A List of Successes That Can Change the World",
  month = "April",
  pages = "132-151",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/ringads.pdf",
  volume = "9600",
  doi = "10.1007/978-3-319-30936-1_7",
}
@article{repro,
  title = "Science relies on computer modelling – so what happens when it goes wrong?",
  author = "Jeremy Gibbons",
  year = "2016",
  journal = "The Conversation",
  month = "March",
  url = "https://theconversation.com/science-relies-on-computer-modelling-so-what-happens-when-it-goes-wrong-56859",
}
@article{progorn,
  title = "Programming with Ornaments",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2016",
  journal = "Journal of Functional Programming",
  month = "December",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/progorn.pdf",
  volume = "27",
  doi = "10.1017/S0956796816000307",
}
@inproceedings{diagrammatic,
  title = "Reasoning about Probability and Nondeterminism",
  author = "Faris Abou-Saleh and Kwok-Ho Cheung and Jeremy Gibbons",
  year = "2016",
  booktitle = "POPL workshop on Probabilistic Programming Semantics",
  month = "January",
  url = "http://pps2016.soic.indiana.edu/2015/12/11/reasoning-about-probability-and-nondeterminism/",
}
@proceedings{bx2016,
  title = "5th International Workshop on Bidirectional Transformations",
  author = "Anthony Anjorin and Jeremy Gibbons",
  year = "2016",
  editor = "Anthony Anjorin and Jeremy Gibbons",
  series = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1571/",
  volume = "1571",
}
@inproceedings{leastchange,
  title = "Towards a Principle of Least Surprise for Bidirectional Transformations",
  author = "James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2015",
  booktitle = "4th International Workshop on Bidirectional Transformations",
  editor = "Alcino Cunha and Ekkart Kindler",
  month = "July",
  pages = "66-80",
  publisher = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1396/p66-cheney.pdf",
}
@inproceedings{cbx,
  title = "Coalgebraic Aspects of Bidirectional Computation",
  author = "Faris Abou-Saleh and James McKinna and Jeremy Gibbons",
  year = "2015",
  booktitle = "4th International Workshop on Bidirectional Transformations",
  editor = "Alcino Cunha and Ekkart Kindler",
  month = "July",
  pages = "16-30",
  publisher = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1396/p16-abousaleh.pdf",
}
@inproceedings{modules,
  title = "Modules over Monads, and Their Algebras",
  author = "Maciej Piróg and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "6th International Conference on Algebra and Coalgebra in Computer Science (CALCO’15)",
  editor = "Larry Moss and Paweł Sobociński",
  month = "June",
  pages = "287-300",
  series = "Leibniz International Proceedings in Informatics",
  url = "https://coalg.org/calco15/papers/p18-Pir%C3%B3g.pdf",
  doi = "10.4230/LIPIcs.CALCO.2015.290",
}
@inproceedings{entangled,
  title = "Notions of Bidirectional Computation and Entangled State Monads",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2015",
  booktitle = "Mathematics of Program Construction",
  month = "June",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/entangled.pdf",
}
@article{bx-effectful,
  title = "Bidirectional Transformation is Effectful",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2015",
  booktitle = "SNAPL: The Inaugural Summit on Advances in Programming Languages",
  month = "May",
  note = "This is an abstract of the paper "Notions of Bidirectional Computation and Entangled State Monads", to appear at MPC 2015",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bx-effectful.pdf",
}
@inproceedings{dsm-cr,
  title = "Domain-Specific Modelling for Clinical Research",
  author = "Jim Davies and Jeremy Gibbons and Adam Milward and David Milward and Seyyed Shah and Monika Solanki and James Welch",
  year = "2015",
  booktitle = "SPLASH Workshop on Domain-Specific Modelling",
  month = "October",
  url = "http://www.dsmforum.org/events/dsm15/Papers/Davies.pdf",
  doi = "10.1145/2846696.2846701",
}
@inproceedings{reladj,
  title = "Relational Algebra by Way of Adjunctions",
  author = "Jeremy Gibbons and Fritz Henglein and Ralf Hinze and Nicolas Wu",
  year = "2015",
  booktitle = "Database Programming Languages",
  month = "October",
  note = "Talk only",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj-dbpl.pdf",
}
@inproceedings{hylomorphisms,
  title = "Conjugate Hylomorphisms, Or: The Mother of All Structured Recursion Schemes",
  author = "Ralf Hinze and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "POPL 2015",
  month = "January",
  pages = "527-538",
  url = "http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Hylomoprhisms.pdf",
  doi = "10.1145/2676726.2676989",
}
@article{boosterExperience,
  title = "Model-driven Engineering of Information Systems: 10 years and 1000 versions",
  author = "Jim Davies and Jeremy Gibbons and James Welch and Edward Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "88-104",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.002",
}
@article{cancergrid,
  title = "The CancerGrid Experience: Metadata-Based Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Charles Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "126-143",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.010",
}
@inproceedings{embedding,
  title = "Folding Domain-Specific Languages: Deep and Shallow Embeddings",
  author = "Jeremy Gibbons and Nicolas Wu",
  year = "2014",
  booktitle = "International Conference on Functional Programming",
  month = "September",
  pages = "339-347",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding.pdf",
  doi = "10.1145/2628136.2628138",
}
@unpublished{cwh,
  title = "Categories for the Working Haskeller",
  author = "Jeremy Gibbons",
  year = "2014",
  howpublished = "Talk at Skills Matter Haskell eXchange",
  month = "September",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/cwh-slides.pdf",
}
@inproceedings{entangled-abs,
  title = "Entangled State Monads",
  author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons and Faris Abou-Saleh",
  year = "2014",
  booktitle = "BX Workshop",
  month = "March",
  url = "http://ceur-ws.org/Vol-1133/paper-17.pdf",
}
@inproceedings{repo,
  title = "Towards a Repository of BX Examples",
  author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons",
  year = "2014",
  booktitle = "BX Workshop",
  month = "March",
  url = "http://ceur-ws.org/Vol-1133/paper-14.pdf",
}
@inproceedings{embedding-dsldi,
  title = "Compositionality in Embedded Domain-Specific Languages",
  author = "Jeremy Gibbons",
  year = "2014",
  booktitle = "Domain-Specific Language Design and Implementation",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding-dsldi.pdf",
}
@inproceedings{crm,
  title = "The coinductive resumption monad",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2014",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXX",
  pages = "273--288",
  volume = "308",
  doi = "10.1016/j.entcs.2014.10.015",
}
@phdthesis{pirog-dphil,
  title = "Completely iterative monads in semantics of coinductive programs",
  author = "Maciej Adam Pirog",
  year = "2014",
  url = "https://ora.ox.ac.uk/objects/uuid:9957b2f8-b08c-40fd-9bf1-b815b9abd25a",
}
@phdthesis{Ko-thesis,
  title = "Analysis and synthesis of inductive families",
  author = "Hsiang-Shang Ko",
  year = "2014",
  school = "University of Oxford",
  url = "https://github.com/josh-hs-ko/dissertation/raw/master/dissertation.pdf",
}
@inproceedings{uitbaf,
  title = "Understanding Idiomatic Traversals Backwards and Forwards",
  author = "Richard Bird and Jeremy Gibbons and Stefan Mehner and Janis Voigtlaender and Tom Schrijvers",
  year = "2013",
  booktitle = "Haskell Symposium",
  month = "sep",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/uitbaf.pdf",
  doi = "10.1145/2503778.2503781",
}
@inproceedings{fp4dsls,
  title = "Functional Programming for Domain-Specific Languages",
  author = "Jeremy Gibbons",
  year = "2013",
  booktitle = "Central European Functional Programming - Summer School on Domain-Specific Languages",
  editor = "Viktória Zsók and Zoltán Horváth and Lehel Csató",
  month = "July",
  pages = "1-28",
  publisher = "Springer",
  series = "LNCS",
  url = "http://link.springer.com/chapter/10.1007/978-3-319-15940-9_1",
  volume = "8606",
  doi = "10.1007/978-3-319-15940-9_1",
}
@misc{Ko-pcOrn-categorical,
  title = "Categorical organisation of the ornament–refinement framework",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2013",
  howpublished = "Submitted to POPL'14",
  month = "July",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/pcOrn-categorical/pcOrn-categorical.pdf",
}
@incollection{accatt,
  title = "Accumulating Attributes (for Doaitse Swierstra, on his retirement)",
  author = "Jeremy Gibbons",
  year = "2013",
  booktitle = "Een Lawine van Ontwortelde Bomen: Liber Amicorum voor Doaitse Swierstra",
  editor = "Jurriaan Hage and Atze Dijkstra",
  month = "May",
  pages = "87-102",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/accatt.pdf",
}
@article{Ko-pcOrn,
  title = "Modularising inductive families",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2013",
  journal = "Progress in Informatics",
  number = "10",
  pages = "65-88",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/pcOrn/pcOrn.pdf",
  doi = "10.2201/NiiPi.2013.10.5",
}
@inproceedings{HWG13Uni,
  title = "Unifying Structured Recursion Schemes",
  author = "Hinze, Ralf and Wu, Nicolas and Gibbons, Jeremy",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming",
  editor = "Uustalu, Tarmo",
  location = "Boston, Massachusetts, USA",
  pages = "209--220",
  publisher = "ACM",
  series = "ICFP '13",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/urs.pdf",
  doi = "10.1145/2500365.2500578",
}
@inproceedings{monbeh,
  title = "Monads for behaviour",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2013",
  issn = "1571-0661",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXIX",
  pages = "309 - 324",
  url = "http://www.sciencedirect.com/science/article/pii/S1571066113000650",
  volume = "298",
  doi = "10.1016/j.entcs.2013.09.019",
}
@inproceedings{Ko-algOrn,
  title = "Relational algebraic ornaments",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2013",
  booktitle = "Dependently Typed Programming",
  publisher = "ACM",
  series = "DTP'13",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf",
  doi = "10.1145/2502409.2502413",
}
@proceedings{fhies2013,
  title = "Foundations of Health Information Engineering and Systems",
  author = "Jeremy Gibbons and Wendy MacCaull",
  year = "2013",
  booktitle = "Foundations of Health Information Engineering and Systems",
  editor = "Jeremy Gibbons and Wendy MacCaull",
  isbn = "978-3-642-53955-8",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/fhies2013-preface.pdf",
  volume = "8315",
  doi = "10.1007/978-3-642-53956-5",
}
@inproceedings{utp-monads,
  title = "Unifying Theories of Programming with Monads",
  author = "Jeremy Gibbons",
  year = "2012",
  booktitle = "UTP Symposium",
  month = "August",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/utp-monads.pdf",
  doi = "10.1007/978-3-642-35705-3_2",
}
@proceedings{mpc2012,
  title = "Mathematics of Program Construction",
  author = "Jeremy Gibbons and Pablo Nogueira",
  year = "2012",
  editor = "Jeremy Gibbons and Pablo Nogueira",
  month = "June",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/978-3-642-31112-3/",
  volume = "7342",
}
@unpublished{ml-se-hi,
  title = "Machine Learning and Software Engineering in Health Informatics",
  author = "David A. Clifton and Jeremy Gibbons and Jim Davies and Lionel Tarassenko",
  year = "2012",
  booktitle = "Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE'12)",
  month = "May",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ml-se-hi.pdf",
  doi = "10.1109/RAISE.2012.6227968",
}
@unpublished{backwards,
  title = "Be Kind, Rewind: A Modest Proposal about Traversal",
  author = "Jeremy Gibbons and Richard Bird",
  year = "2012",
  month = "May",
  note = "Submitted for publication (but rejected)",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/backwards.pdf",
}
@article{refactoringpm,
  title = "Refactoring Pattern Matching",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
  year = "2012",
  journal = "Science of Computer Programming",
  month = "January",
  note = "Revised version of the MPC2010 paper "Gradual Refinement"",
  number = "11",
  pages = "2216-2242",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/refactoringpm.pdf",
  volume = "78",
  doi = "10.1016/j.scico.2012.07.014",
}
@book{ssgip,
  title = "Generic and Indexed Programming",
  author = "Jeremy Gibbons",
  year = "2012",
  editor = "Jeremy Gibbons",
  isbn = "978-3-642-32201-3",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/978-3-642-32201-3/",
  volume = "7470",
  doi = "10.1007/978-3-642-32202-0",
}
@article{beauty,
  title = "The Beauty of Simplicity",
  author = "Jeremy Gibbons",
  year = "2012",
  journal = "Communications of the ACM",
  note = "Letter to the editor",
  number = "4",
  pages = "6",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/beauty.pdf",
  volume = "55",
  doi = "10.1145/2133806.2133808",
}
@inproceedings{DBLP:conf/sbmf/DaviesGMW12,
  title = "Compositionality and Refinement in Model-Driven Engineering",
  author = "Jim Davies and Jeremy Gibbons and David Milward and James Welch",
  year = "2012",
  booktitle = "Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012. Proceedings",
  editor = "Rohit Gheyi and David A. Naumann",
  isbn = "978-3-642-33295-1",
  pages = "99-114",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7498",
  doi = "10.1007/978-3-642-33296-8_9",
}
@inproceedings{trmon,
  title = "Tracing monadic computations and representing effects",
  author = "Maciej Pirog and Jeremy Gibbons",
  year = "2012",
  booktitle = "Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia, 25 March 2012",
  editor = "Chapman, James and Levy, Paul Blain",
  pages = "90-111",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/trmon.pdf",
  volume = "76",
  doi = "10.4204/EPTCS.76.8",
}
@inproceedings{colens,
  title = "Relating Algebraic and Coalgebraic Descriptions of Lenses",
  author = "Jeremy Gibbons and Mike Johnson",
  year = "2012",
  journal = "Electronic Communications of the EASST",
  url = "http://journal.ub.tu-berlin.de/eceasst/article/download/726/742",
  volume = "49 (Bidirectional Transformations 2012)",
}
@inproceedings{mssm,
  title = "Maximum Segment Sum, Monadically (distilled tutorial)",
  author = "Jeremy Gibbons",
  year = "2011",
  address = "Bordeaux",
  booktitle = "IFIP TC2 Working Conference on Domain-Specific Languages",
  editor = "Olivier Danvy and Chung-chieh Shan",
  month = "September",
  url = "http://arxiv.org/abs/1109.0782",
  doi = "10.4204/EPTCS.66.9",
}
@inproceedings{align,
  title = "Incremental Updates for Efficient Bidirectional Transformations",
  author = "Meng Wang and Jeremy Gibbons and Nicolas Wu",
  year = "2011",
  booktitle = "ICFP",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/align.pdf",
  doi = "10.1145/2034773.2034825",
}
@inproceedings{mr,
  title = "Just do it: Simple monadic equational reasoning",
  author = "Jeremy Gibbons and Ralf Hinze",
  year = "2011",
  booktitle = "ICFP",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/mr.pdf",
  doi = "10.1145/2034773.2034777",
}
@inproceedings{fff,
  title = "Form Follows Function: Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Radu Calinescu and Charles Crichton and Steve Harris and Andrew Tsui",
  year = "2011",
  booktitle = "International Symposium on Foundations of Health Information Engineering and Systems",
  month = "August",
  pages = "21-38",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf",
  volume = "7151",
  doi = "10.1007/978-3-642-32355-3_2",
}
@article{wam,
  title = "A Functional Derivation of the Warren Abstract Machine",
  author = "Maciej Pirog and Jeremy Gibbons",
  year = "2011",
  note = "Submitted for publication",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wam.pdf",
}
@article{bpmn09,
  title = "Formalisations and Applications of BPMN",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2011",
  journal = "Science of Computer Programming",
  note = "Special issue on FOCLASA 2008",
  pages = "633-650",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bpmn09.pdf",
  volume = "76",
  doi = "10.1016/j.scico.2009.09.010",
}
@inproceedings{Ko-OAOAOO,
  title = "Modularising inductive families",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2011",
  booktitle = "Workshop on Generic Programming",
  pages = "13-24",
  publisher = "ACM",
  series = "WGP'11",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf",
  doi = "10.1145/2036918.2036921",
}
@article{hodgp-journal,
  title = "Design Patterns as Higher-Order Datatype-Generic Programs",
  author = "Jeremy Gibbons",
  year = "2010",
  note = "Submitted for publication; revised version of the WGP2006 paper",
  pages = "36",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp-journal.pdf",
}
@article{ifmextend,
  title = "Property Specifications for Workflow Modelling",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2010",
  journal = "Science of Computer Programming",
  note = "Extended version. To appear.",
  doi = "10.1016/j.scico.2010.09.007",
}
@article{scala-jfp,
  title = "Scala for Generic Programmers",
  author = "Bruno C. d. S. Oliveira and Jeremy Gibbons",
  year = "2010",
  journal = "Journal of Functional Programming",
  note = "Revised version of the WGP2008 paper",
  number = "3,4",
  pages = "303-352",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp-jfp.pdf",
  volume = "20",
  doi = "10.1017/S0956796810000171",
}
@inproceedings{Davies&Gibbons2010:Semantic,
  title = "Semantic Frameworks: Meanings in the Architecture",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2010",
  booktitle = "Distributed Computing and Internet Technology",
  pages = "40-54",
  series = "LNCS",
  volume = "5966",
  doi = "10.1007/978-3-642-11659-9_4",
}
@conference{mpc10,
  title = "Gradual Refinement: Blending Pattern Matching with Data Abstraction",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
  year = "2010",
  booktitle = "Mathematics of Program Construction",
  editor = "Jules Desharnais",
  note = "See revised journal version "Refactoring Pattern Matching"",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gradual.pdf",
  volume = "6120",
  doi = "10.1007/978-3-642-13321-3_22",
}
@proceedings{haskell2010,
  title = "Haskell Symposium",
  author = "Jeremy Gibbons",
  year = "2010",
  editor = "Jeremy Gibbons",
  publisher = "ACM",
  url = "https://dl.acm.org/citation.cfm?id=1863523",
}
@misc{imagescorer,
  title = "Deep Zoom and Touch Screen for Tissue Microarray Image Scoring",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Andrew Tsui and James Brenton and Carlos Caldas and Lorna Morris",
  year = "2010",
  howpublished = "Poster at Microsoft External Research Symposium",
}
@inproceedings{Gibbons&Paterson2009:Parametric,
  title = "Parametric Datatype-Genericity",
  author = "Jeremy Gibbons and Ross Paterson",
  year = "2009",
  address = "Edinburgh",
  booktitle = "Workshop on Generic Programming",
  month = "August",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/parametric.pdf",
  doi = "10.1145/1596614.1596626",
}
@article{Davies&Gibbons2009:Formal,
  title = "Formal Methods for Future Interoperability",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2009",
  journal = "ACM Inroads",
  month = "June",
  note = "A revised version of "Formal Methods for Electronic Government" (FMET, 2008)",
  number = "2",
  pages = "60-64",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fmfi.pdf",
  volume = "41",
  doi = "10.1145/1595453.1595463",
}
@article{Crichton*2009:Model,
  title = "Metadata-Driven Software for Clinical Trials",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Andrew Tsui and James Brenton",
  year = "2009",
  booktitle = "ICSE Workshop on Software Engineering and Health Care",
  month = "May",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/consort.pdf",
  doi = "10.1109/SEHC.2009.5069600",
}
@inproceedings{pattern,
  title = "Property Specifications for Workflow Modelling",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2009",
  booktitle = "Proceedings of 7th International Conference on Integrated Formal Methods",
  month = "February",
  note = "Invited for special issue in Science of Computer Programming. Technical report version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf}",
  series = "LNCS",
  volume = "5423",
  doi = "10.1007/978-3-642-00255-7_5",
}
@inproceedings{Davies*2009:Kathmandu,
  title = "Model-Driven Support for a Vaccine Study in Kathmandu",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Jane Metz and Andrew J. Pollard and Matthew Snape",
  year = "2009",
  booktitle = "Microsoft eScience Workshop",
  month = "October",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf",
}
@inproceedings{Crichton*2009:Semantics,
  title = "Semantics-Driven Development for Electronic Government Applications",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla and Andrew Tsui",
  year = "2009",
  address = "Hawaii",
  booktitle = "HICSS (Electronic Government Track)",
  month = "January",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hicss-sdd.pdf",
  doi = "10.1109/HICSS.2009.384",
}
@article{Gibbons2009:Pearls,
  title = "Functional Pearls (editorial)",
  author = "Jeremy Gibbons",
  year = "2009",
  journal = "Journal of Functional Programming",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/pearls.pdf",
  doi = "10.1017/S0956796809990256",
}
@article{Gibbons&Oliveira2008:Essence,
  title = "The Essence of the Iterator Pattern",
  author = "Jeremy Gibbons and Bruno César dos Santos Oliveira",
  year = "2009",
  journal = "Journal of Functional Programming",
  note = "Revised version of \cite{Gibbons&Oliveira2006:Essence}",
  number = "3&4",
  pages = "377-402",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf",
  volume = "19",
  doi = "10.1017/S0956796809007291",
}
@conference{bidi,
  title = "Translucent Abstraction: Safe Views through Invertible Programming (Extended version)",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda",
  year = "2009",
}
@proceedings{Gibbons&Oliveira2009:Teaching,
  title = "Teaching Formal Methods",
  author = "Jeremy Gibbons and José Nuno Oliveira (eds)",
  year = "2009",
  booktitle = "Teaching Formal Methods",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/tfm2009-preface.pdf",
  volume = "5846",
  doi = "10.1007/978-3-642-04912-5",
}
@inproceedings{Wong&Gibbons2008:Process,
  title = "A Process Semantics for BPMN",
  author = "Peter Wong and Jeremy Gibbons",
  year = "2008",
  address = "Kitakyushu, Japan",
  booktitle = "International Conference on Formal Engineering Methods",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/bpmn-csp.pdf",
}
@inproceedings{Oliveira&Gibbons2008:Scala,
  title = "Scala for Generic Programmers",
  author = "Bruno Oliveira and Jeremy Gibbons",
  year = "2008",
  address = "Victoria, BC",
  booktitle = "Workshop on Generic Programming",
  editor = "Ralf Hinze",
  month = "Sep",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp.pdf",
  doi = "10.1145/1411318.1411323",
}
@inproceedings{Smith&Gibbons2008:Unifying,
  title = "Unifying Theories of Locations",
  author = "Michael Anthony Smith and Jeremy Gibbons",
  year = "2008",
  address = "Dublin",
  booktitle = "Unifying Theories of Programming",
  editor = "Andrew Butterfield",
  month = "Sep",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/utl.pdf",
  doi = "10.1007/978-3-642-14521-6_10",
}
@inproceedings{qsic2008,
  title = "Verifying Business Process Compatibility",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 8th International Conference on Quality Software.",
  month = "August",
  note = "Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing, June 2007",
  pages = "126-131",
  publisher = "IEEE Computer Society",
  url = "http://www.comlab.ox.ac.uk/peter.wong/pub/qsic2008.pdf",
  doi = "10.1109/QSIC.2008.6",
}
@inproceedings{transform,
  title = "On Specifying and Visualising Long-Running Empirical Studies",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations)",
  month = "July",
  note = "Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf}.",
  series = "LNCS",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/icmt2008.pdf",
  volume = "5063",
  doi = "10.1007/978-3-540-69927-9_6",
}
@inproceedings{bpmn-time,
  title = "A Relative Timed Semantics for BPMN",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.",
  month = "July",
  note = "Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing, London, United Kingdom, June 2008. Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf}.",
  series = "ENTCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/relative.pdf",
  volume = "229",
  doi = "10.1016/j.entcs.2009.06.029",
}
@inproceedings{Gibbons2008:Unfolding,
  title = "Unfolding Abstract Datatypes",
  author = "Jeremy Gibbons",
  year = "2008",
  booktitle = "Mathematics of Program Construction",
  month = "jul",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/adt.pdf",
  doi = "10.1007/978-3-540-70594-9_8",
}
@inproceedings{ICEGOV2008STEG,
  title = "Semantic Technologies in Electronic Government",
  author = "Steve Harris and Jeremy Gibbons and Jim Davies and Andrew Tsui and Charles Crichton",
  year = "2008",
  address = "Cairo",
  booktitle = "ICEGOV 2008",
  editor = "Tomasz Janowski and Teresa Pardo",
  month = "December",
  pages = "45 -- 51",
  publisher = "ACM Press",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf",
  doi = "10.1145/1509096.1509108",
}
@inproceedings{Davies*2008:Metadata,
  title = "Metadata Standards for Semantic Interoperability in Electronic Government",
  author = "Jim Davies and Steve Harris and Charles Crichton and Aadya Shukla and Jeremy Gibbons",
  year = "2008",
  address = "Cairo",
  booktitle = "International Conference on Theory and Practice of Electronic Governance",
  month = "December",
  note = "Received a Best Paper Award",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/metadata-egov.pdf",
}
@inproceedings{Brenton*2008:Accelerating,
  title = "Accelerating Cancer Research Using Semantics-Driven Technology",
  author = "James Brenton and Jim Davies and Jeremy Gibbons and Steve Harris",
  year = "2008",
  address = "Indianapolis, IN",
  booktitle = "Microsoft eScience Workshop",
  month = "December",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/accelerating.pdf",
}
@inproceedings{bpmn-csp,
  title = "{A Process Semantics for BPMN}",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 10th International Conference on Formal Engineering Methods.",
  month = "October",
  note = "Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf}.",
  series = "LNCS",
  volume = "5256",
  doi = "10.1007/978-3-540-88194-0_22",
}
@inproceedings{Davies&Gibbons2008:Formal,
  title = "Formal Methods for Electronic Government",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2008",
  address = "Kitakyushu, Japan",
  booktitle = "Workshop on Formal Methods Education and Training at ICFEM",
  month = "October",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/fmegov.pdf",
}
@inproceedings{icegov2008interoperability,
  title = "Interoperability Frameworks for Electronic Governance",
  author = "Cechich, Alejandra and Madrid, Lorenzo and Gibbons, Jeremy and Kesan, Jay",
  year = "2008",
  address = "Cairo, Egypt",
  booktitle = "Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance",
  pages = "490--491",
  publisher = "ACM",
  url = "http://doi.acm.org/10.1145/1509096.1509207",
}
@inproceedings{Davies*2008:Evolving,
  title = "Evolving Health Informatics: Semantic Frameworks and Metadata-Driven Architectures",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Denise Warzel",
  year = "2008",
  address = "Indianapolis, IN",
  booktitle = "Microsoft eScience Workshop",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/evolving.pdf",
}
@inproceedings{Zang*2008:Model,
  title = "Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research",
  author = "Tianyi Zang and Radu Calinescu and Steve Harris and Andrew Tsui and Charles Crichton and Marta Kwiatkowska and Jeremy Gibbons and Jim Davies and Carlos Caldas",
  year = "2008",
  booktitle = "IEEE eScience Conference",
  howpublished = "Poster",
  doi = "10.1109/eScience.2008.129",
}
@inproceedings{Zang*2008:WSRF,
  title = "WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research",
  author = "Tianyi Zang and Radu Calinescu and Steve Harris and Andrew Tsui and Marta Kwiatkowska and Jeremy Gibbons and Jim Davies and Peter Maccallum and Carlos Caldas",
  year = "2008",
  booktitle = "8th IEEE International Symposium on Cluster Computing (CCGrid)",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wsrfmodeling.pdf",
  doi = "10.1109/CCGRID.2008.57",
}
@inproceedings{Wong&Gibbons2008:Verifying,
  title = "Verifying Business Process Compatibility",
  author = "Peter Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "8th International Conference on Quality Software (QSIC)",
  note = "Earlier versions of this paper were presented at the 2nd European Young Researchers Workshop on Service Oriented Computing, Leicester, United Kingdom, June 2007, and 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'07), Paphos, Cyprus, June 2007",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/compatibility.pdf",
}
@inproceedings{Wong&Gibbons2008:Specifying,
  title = "On Specifying and Visualising Long-Running Empirical Studies",
  author = "Peter Y. H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "International Conference on Model Transformations (ICMT)",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/longrunning.pdf",
}
@inproceedings{Oliveira*2008:Visitor,
  title = "The Visitor Pattern as a Reusable, Generic, Type-Safe Component",
  author = "Bruno C. d. S. Oliveira and Meng Wang and Jeremy Gibbons",
  year = "2008",
  booktitle = "Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/visitor.pdf",
  doi = "10.1145/1449764.1449799",
}
@inproceedings{Calinescu*2007:Model,
  title = "Model-Driven Architecture for Cancer Research",
  author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies and Igor Toujilov and Sylvia Nagl",
  year = "2007",
  booktitle = "Software Engineering and Formal Methods",
  month = "sep",
  pages = "59-68",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cgmda.pdf",
  doi = "10.1109/SEFM.2007.26",
}
@inproceedings{workflow,
  title = "A Process-Algebraic Approach to Workflow Specification and Refinement",
  author = "Peter Y. H. Wong and Jeremy Gibbons",
  year = "2007",
  booktitle = "Proceedings of 6th International Symposium on Software Composition",
  month = "March",
  series = "LNCS",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf",
  volume = "4829",
  doi = "10.1007/978-3-540-77351-1_5",
}
@inproceedings{DBLP:conf/icegov/CrichtonDGHS07,
  title = "Semantic Frameworks for e-Government",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla",
  year = "2007",
  booktitle = "First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007",
  editor = "Theresa Pardo and Tomasz Janowski",
  month = "dec",
  pages = "30--39",
  publisher = "ACM",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/sf-egov.pdf",
  doi = "10.1145/1328057.1328066",
}
@unpublished{Gibbons2007:Commercial,
  title = "Report on Fourth Workshop on Commercial Users of Functional Programming",
  author = "Jeremy Gibbons",
  year = "2007",
  month = "December",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cufp2007.pdf",
}
@inbook{CalEtAl2007,
  title = "Cross-Trial Query System for Cancer Clinical Trials",
  author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies",
  year = "2007",
  booktitle = "Innovations and Advanced Techniques in Computer and Information Sciences and Engineering",
  editor = "Tarek Sobh",
  pages = "385--390",
  publisher = "Springer",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/crosstrial.pdf",
  doi = "10.1007/978-1-4020-6268-1_69",
}
@article{Gibbons2005:Metamorphisms,
  title = "Metamorphisms: Streaming Representation-Changers",
  author = "Jeremy Gibbons",
  year = "2007",
  journal = "Science of Computer Programming",
  number = "2",
  pages = "108-139",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-scp.pdf",
  volume = "65",
  doi = "10.1016/j.scico.2006.01.006",
}
@inproceedings{Wong&Gibbons2007:ProcessAlgebraic,
  title = "A Process-Algebraic Approach to Workflow Specification and Refinement",
  author = "Peter Y. H. Wong and Jeremy Gibbons",
  year = "2007",
  booktitle = "Software Composition",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf",
}
@inproceedings{Gibbons*2007:Generic,
  title = "Generic and Indexed Programming",
  author = "Jeremy Gibbons and Meng Wang and Bruno Cesar dos Santos Oliveira",
  year = "2007",
  booktitle = "Trends in Functional Programming",
  editor = "Marco Morazan",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gip.pdf",
}
@inproceedings{Gibbons2007:Datatype,
  title = "Datatype-Generic Programming",
  author = "Jeremy Gibbons",
  year = "2007",
  booktitle = "Spring School on Datatype-Generic Programming",
  editor = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf",
  volume = "4719",
}
@inproceedings{Smith&Gibbons2007:Unifying,
  title = "Unifying Theories of Objects",
  author = "Michael Anthony Smith and Jeremy Gibbons",
  year = "2007",
  booktitle = "Integrated Formal Methods",
  editor = "Jim Davies and Jeremy Gibbons",
  pages = "599-618",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/uto.pdf",
  volume = "4591",
}
@proceedings{Backhouse*2007:Datatype,
  title = "Spring School on Datatype-Generic Programming",
  author = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  year = "2007",
  booktitle = "Spring School on Datatype-Generic Programming",
  editor = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/ssdgp-preface.pdf",
  volume = "4719",
}
@proceedings{Davies&Gibbons2007:Integrated,
  title = "Integrated Formal Methods",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2007",
  booktitle = "Integrated Formal Methods",
  editor = "Jim Davies and Jeremy Gibbons",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/ifm2007-preface.pdf",
  volume = "4591",
}
@inproceedings{Gibbons2006:Design,
  title = "Design Patterns as Higher-Order Datatype-Generic Programs",
  author = "Jeremy Gibbons",
  year = "2006",
  booktitle = "Workshop on Generic Programming",
  editor = "Ralf Hinze",
  month = "sep",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp.pdf",
}
@article{Gibbons2006:Spigot,
  title = "An Unbounded Spigot Algorithm for the Digits of Pi",
  author = "Jeremy Gibbons",
  year = "2006",
  journal = "American Mathematical Monthly",
  month = "April",
  note = "Reprinted on p245-257 of "Pi: The Next Generation", ed David H. Bailey and Jonathan M. Borwein, Springer 2016, ISBN 978-3-319-32377-0",
  number = "4",
  pages = "318-328",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/spigot.pdf",
  volume = "113",
}
@inproceedings{Danielsson*2006:Fast,
  title = "Fast and Loose Reasoning is Morally Correct",
  author = "Nils Anders Danielsson and Jeremy Gibbons and John Hughes and Patrik Jansson",
  year = "2006",
  booktitle = "Principles of Programming Languages",
  month = "jan",
  pages = "206-217",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/fast+loose.pdf",
  doi = "10.1145/1111037.1111056",
}
@article{Gibbons*2006:Enumerating,
  title = "Enumerating the Rationals",
  author = "Jeremy Gibbons and David Lester and Richard Bird",
  year = "2006",
  journal = "Journal of Functional Programming",
  number = "4",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/rationals.pdf",
  volume = "16",
  doi = "10.1017/S0956796806005880",
}
@inproceedings{Gibbons2006:Fission,
  title = "Fission for Program Comprehension",
  author = "Jeremy Gibbons",
  year = "2006",
  booktitle = "Mathematics of Program Construction",
  editor = "Tarmo Uustalu",
  pages = "162-179",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fission.pdf",
  volume = "4014",
  doi = "10.1007/11783596_12",
}
@inproceedings{Gibbons&Oliveira2006:Essence,
  title = "The Essence of the Iterator Pattern",
  author = "Jeremy Gibbons and Bruno C\'esar dos Santos Oliveira",
  year = "2006",
  booktitle = "Mathematically-Structured Functional Programming",
  editor = "Conor McBride and Tarmo Uustalu",
  note = "Superseded by \cite{Gibbons&Oliveira2008:Essence}",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf",
}
@inproceedings{Gibbons2005:DesignECOOP,
  title = "Design Patterns as Higher-Order Datatype-Generic Programs",
  author = "Jeremy Gibbons",
  year = "2005",
  address = "Glasgow",
  booktitle = "European Conference on Object-Oriented Programming",
  month = "jul",
  note = "Later version appears as \cite{Gibbons2005:DesignOOPSLA}",
  url = "http://2005.ecoop.org/8.html",
}
@inproceedings{Gibbons2005:DesignOOPSLA,
  title = "Design Patterns as Higher-Order Datatype-Generic Programs",
  author = "Jeremy Gibbons",
  year = "2005",
  address = "San Diego",
  booktitle = "Object-Oriented Programming: Systems, Languages, Applications",
  month = "oct",
  note = "A revision of \cite{Gibbons2005:DesignECOOP}",
  url = "http://www.oopsla.org/2005/ShowEvent.do?id=121",
}
@article{Gibbons&Hutton2005:Proof,
  title = "Proof Methods for Corecursive Programs",
  author = "Jeremy Gibbons and Graham Hutton",
  year = "2005",
  journal = "Fundamenta Informaticae",
  month = "April/May",
  number = "4",
  pages = "353-366",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/corecursive.pdf",
  volume = "66",
}
@inproceedings{Oliveira&Gibbons2005:TypeCase,
  title = "TypeCase: A Design Pattern for Type-Indexed Functions",
  author = "Bruno C\'esar dos Santos Oliveira and Jeremy Gibbons",
  year = "2005",
  booktitle = "Haskell Workshop",
  editor = "Daan Leijen",
  pages = "98-109",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf",
  doi = "10.1145/1088348.1088358",
}
@inproceedings{Gibbons2004:Streaming,
  title = "Streaming Representation-Changers",
  author = "Jeremy Gibbons",
  year = "2004",
  booktitle = "Mathematics of Program Construction",
  editor = "Dexter Kozen",
  month = "jul",
  note = "\url{http://www.springerlink.com/index/LHQ73WU5GU686976}",
  pages = "142-168",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-mpc.pdf",
  volume = "3125",
  doi = "10.1007/978-3-540-27764-4_9",
}
@article{Martin*2004:Disciplined,
  title = "Disciplined, efficient, generalised folds for nested datatypes",
  author = "Clare Martin and Jeremy Gibbons and Ian Bayley",
  year = "2004",
  journal = "Formal Aspects of Computing",
  number = "1",
  pages = "19-35",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/efolds.pdf",
  volume = "16",
  doi = "10.1007/s00165-003-0013-6",
}
@book{Backhouse&Gibbons2003:Summer,
  title = "Summer School on Generic Programming",
  author = "Roland Backhouse and Jeremy Gibbons",
  year = "2003",
  booktitle = "Summer School on Generic Programming",
  editor = "Roland Backhouse and Jeremy Gibbons",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssgp-toc.pdf",
  volume = "2793",
}
@book{Gibbons&deMoor2003:Fun,
  title = "The Fun of Programming",
  author = "Jeremy Gibbons and Oege de Moor",
  year = "2003",
  booktitle = "The Fun of Programming",
  editor = "Jeremy Gibbons and Oege de Moor",
  isbn = "0-3339-9285-7",
  note = "Hardback ISBN: 1-4039-0772-2",
  publisher = "Palgrave",
  series = "Cornerstones in Computing",
}
@inproceedings{Simpson*2002:Supervision,
  title = "On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects",
  author = "Andrew Simpson and Andrew Martin and Jeremy Gibbons and Jim Davies and Steve McKeever",
  year = "2003",
  booktitle = "International Conference on Software Engineering",
  pages = "628-633",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/softeng-projects.pdf",
}
@inproceedings{Bird&Gibbons2003:Arithmetic,
  title = "Arithmetic Coding with Folds and Unfolds",
  author = "Richard Bird and Jeremy Gibbons",
  year = "2003",
  booktitle = "Advanced Functional Programming 4",
  editor = "Johan Jeuring and Peyton Jones, Simon",
  note = "Code available at \url{http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip}",
  pages = "1-26",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.pdf",
  volume = "2638",
  doi = "10.1007/978-3-540-44833-4_1",
}
@inproceedings{Gibbons2003:Patterns,
  title = "Patterns in Datatype-Generic Programming",
  author = "Jeremy Gibbons",
  year = "2003",
  booktitle = "Multiparadigm Programming",
  editor = "J{\"o}rg Striegnitz and Kei Davis",
  isbn = "3-00-016005-1",
  note = "First International Workshop on Declarative Programming in the Context of Object-Oriented Languages (DPCOOL)",
  pages = "277-289",
  publisher = "John von {N}eumann Institute for Computing (NIC)",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/patterns.pdf",
  volume = "27",
}
@proceedings{Gibbons&Jeuring2003:Generic,
  title = "Generic Programming",
  author = "Jeremy Gibbons and Johan Jeuring",
  year = "2003",
  booktitle = "Generic Programming",
  editor = "Jeremy Gibbons and Johan Jeuring",
  isbn = "1-4020-7374-7",
  note = "Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schlo\ss{} Dagstuhl, July 2002. ISBN 1-4020-7374-7.",
  publisher = "Kluwer Academic Publishers",
  url = "http://link.springer.com/content/pdf/10.1007%2F978-0-387-35672-3.pdf",
}
@incollection{Gibbons2003:Origami,
  title = "Origami Programming",
  author = "Jeremy Gibbons",
  year = "2003",
  booktitle = "The Fun of Programming",
  editor = "Jeremy Gibbons and Oege de Moor",
  isbn = "1-4039-0772-2",
  pages = "41-60",
  publisher = "Palgrave",
  series = "Cornerstones in Computing",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/origami.pdf",
}
@inproceedings{Gibbons2002:Superposition,
  title = "Towards a Colimit-Based Semantics for Visual Programming",
  author = "Jeremy Gibbons",
  year = "2002",
  booktitle = "Coordination Models and Languages",
  month = "apr",
  pages = "166--173",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/superposition-extended.pdf",
  volume = "2315",
}
@book{Backhouse*2002:Algebraic,
  title = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
  author = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
  year = "2002",
  booktitle = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
  editor = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
  isbn = "3540436138",
  issn = "0302-9743",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-toc.pdf",
  volume = "2297",
}
@incollection{Bird*2002:Optimization,
  title = "Algebraic Methods for Optimization Problems",
  author = "Richard Bird and Jeremy Gibbons and Shin Cheng Mu",
  year = "2002",
  booktitle = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
  editor = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
  issn = "0302-9743",
  pages = "281--307",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-optimization.pdf",
  volume = "2297",
}
@incollection{Gibbons2002:Calculating,
  title = "Calculating Functional Programs",
  author = "Jeremy Gibbons",
  year = "2002",
  booktitle = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
  editor = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
  issn = "0302-9743",
  pages = "148--203",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-calcfp.pdf",
  volume = "2297",
}
@article{Hutton&Gibbons00:Generic,
  title = "The Generic Approximation Lemma",
  author = "Graham Hutton and Jeremy Gibbons",
  year = "2001",
  journal = "Information Processing Letters",
  month = "aug",
  number = "4",
  pages = "197--201",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/approx.ps.gz",
  volume = "79",
  doi = "10.1016/S0020-0190(00)00220-9",
}
@article{Gibbons*2001:When,
  title = "When is a Function a Fold or an Unfold?",
  author = "Jeremy Gibbons and Graham Hutton and Thorsten Altenkirch",
  year = "2001",
  journal = "Electronic Notes in Theoretical Computer Science",
  month = "apr",
  note = "Proceedings of Coalgebraic Methods in Computer Science",
  number = "1",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/kernels.ps.gz",
  volume = "44",
  doi = "10.1016/S1571-0661(04)80906-X",
}
@article{Martin&Gibbons2001:Semantics,
  title = "On the Semantics of Nested Datatypes",
  author = "Clare Martin and Jeremy Gibbons",
  year = "2001",
  journal = "Information Processing Letters",
  month = "dec",
  number = "5",
  pages = "233--238",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/semantics.ps.gz",
  volume = "80",
}
@inproceedings{deMoor&Gibbons00:Pointwise,
  title = "Pointwise Relational Programming",
  author = "Oege de Moor and Jeremy Gibbons",
  year = "2000",
  booktitle = "Algebraic Methodology and Software Technology",
  month = "may",
  pages = "371--390",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/pointwise.ps.gz",
  volume = "1816",
}
@article{Gibbons2000:Generic,
  title = "Generic Downwards Accumulations",
  author = "Jeremy Gibbons",
  year = "2000",
  journal = "Science of Computer Programming",
  pages = "37--65",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/genda.ps.gz",
  volume = "37",
}
@inproceedings{Bird*99:Program,
  title = "Program Optimisation, Naturally",
  author = "Richard Bird and Jeremy Gibbons and Geraint Jones",
  year = "2000",
  booktitle = "Millenial Perspectives in Computer Science",
  editor = "J. W. Davies and A. W. Roscoe and J. C. P. Woodcock",
  publisher = "Palgrave",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/naturally.ps.gz",
}
@unpublished{Gibbons99:Lecture,
  title = "Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs",
  author = "Jeremy Gibbons",
  year = "1999",
  annote = "Functional programs are merely equations; they may be calculated by straightforward equational reasoning. Many useful theorems for such reasoning derive from an \emph{algebraic} view of programs, built around datatypes and their operations. Traditional algebraic methods concentrate on initial algebras, constructors, and values; dual, co-algebraic, methods concentrate on final co-algebras, destructors, and processes. Both methods are elegant and powerful; they deserve to be combined.",
  month = "mar",
  note = "Estonian Winter School on Computer Science",
}
@article{Gibbons99:Pointless,
  title = "A Pointless Derivation of Radixsort",
  author = "Jeremy Gibbons",
  year = "1999",
  journal = "Journal of Functional Programming",
  number = "3",
  pages = "339--346",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/radix.ps.gz",
  volume = "9",
}
@article{deMoor&Gibbons99:Bridging,
  title = "Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting",
  author = "Oege de Moor and Jeremy Gibbons",
  year = "1999",
  journal = "Science of Computer Programming",
  number = "1",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/bridging.ps.gz",
  volume = "35",
}
@inproceedings{Gibbons&Hutton99:Proof,
  title = "Proof Methods for Structured Corecursive Programs",
  author = "Jeremy Gibbons and Graham Hutton",
  year = "1999",
  booktitle = "Proceedings of 1st Scottish Workshop on Functional Programming",
}
@inproceedings{Gibbons&Jones98:Underappreciated,
  title = "The Under-Appreciated Unfold",
  author = "Jeremy Gibbons and Geraint Jones",
  year = "1998",
  address = "Baltimore, Maryland",
  booktitle = "International Conference on Functional Programming",
  month = "sep",
  pages = "273--279",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/unfold.ps.gz",
}
@inproceedings{Gibbons98:Polytypic,
  title = "Polytypic Downwards Accumulations",
  author = "Jeremy Gibbons",
  year = "1998",
  address = "Marstrand, Sweden",
  booktitle = "Proceedings of Mathematics of Program Construction",
  editor = "Johan Jeuring",
  month = "jun",
  pages = "207-233",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/polyda.ps.gz",
  volume = "1422",
}
@article{Gibbons98:Structured,
  title = "Structured Programming in Java",
  author = "Jeremy Gibbons",
  year = "1998",
  journal = "SIGPLAN Notices",
  month = "apr",
  note = "Also in Fintan Culwin, editor, \emph{Proceedings of the Second Conference on Java in the Computing Curriculum}, South Bank University, London",
  number = "4",
  pages = "40--43",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/spjava.ps.gz",
  volume = "33",
}
@unpublished{Gibbons&Jones98:Against,
  title = "Against the Grain: Linear-Time Breadth-First Tree Algorithms",
  author = "Jeremy Gibbons and Geraint Jones",
  year = "1998",
  note = "Oxford Brookes University and Oxford University Computing Laboratory",
}
@inproceedings{Gibbons97:Calculating,
  title = "Calculating Functional Programs",
  author = "Jeremy Gibbons",
  year = "1997",
  booktitle = "Proceedings of ISRG/SERG Research Colloquium",
  editor = "Keiichi Nakata",
  month = "nov",
  note = "Technical Report CMS-TR-98-01",
  organization = "School of Computing and Mathematical Sciences, Oxford Brookes University",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/calculating.ps.gz",
}
@techreport{Gibbons97:More,
  title = "More on Merging and Selection",
  author = "Jeremy Gibbons",
  year = "1997",
  institution = "School of Computing and Mathematical Sciences, Oxford Brookes University",
  month = "oct",
  number = "CMS-TR-97-08",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/merging.ps.gz",
}
@techreport{Gibbons97:Conditionals,
  title = "Conditionals in Distributive Categories",
  author = "Jeremy Gibbons",
  year = "1997",
  institution = "School of Computing and Mathematical Sciences, Oxford Brookes University",
  month = "jan",
  number = "CMS-TR-97-01",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/conditionals.ps.gz",
}
@inproceedings{Gibbons&Wansbrough96:Tracing,
  title = "Tracing Lazy Functional Languages",
  author = "Jeremy Gibbons and Keith Wansbrough",
  year = "1996",
  address = "Melbourne",
  booktitle = "Computing: The Australasian Theory Seminar",
  editor = "Michael E. Houle and Peter Eades",
  month = "jan",
  pages = "11--20",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/tracing.ps.gz",
}
@article{Gibbons96:Computing,
  title = "Computing Downwards Accumulations on Trees Quickly",
  author = "Jeremy Gibbons",
  year = "1996",
  journal = "Theoretical Computer Science",
  note = "Earlier version appeared in Proceedings of the 16th Australian Computer Science Conference, Brisbane, 1993",
  number = "1",
  pages = "67--80",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/quickly.ps.gz",
  volume = "169",
}
@article{Gibbons96:Deriving,
  title = "Deriving Tidy Drawings of Trees",
  author = "Jeremy Gibbons",
  year = "1996",
  journal = "Journal of Functional Programming",
  number = "3",
  pages = "535--562",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/drawing.ps.gz",
  volume = "6",
}
@article{Gibbons96:Third,
  title = "The Third Homomorphism Theorem",
  author = "Jeremy Gibbons",
  year = "1996",
  journal = "Journal of Functional Programming",
  note = "Earlier version appeared in C.\,B.\,Jay, editor, {\it Computing: The Australian Theory Seminar}, Sydney, December~1994, p.\,62--69",
  number = "4",
  pages = "657--665",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/thirdht.ps.gz",
  volume = "6",
}
@proceedings{Bridges*96:Combinatorics,
  title = "Combinatorics, Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science",
  author = "Douglas Bridges and Cris Calude and Jeremy Gibbons and Steve Reeves and Ian Witten",
  year = "1996",
  address = "Singapore",
  editor = "Douglas Bridges and Cris Calude and Jeremy Gibbons and Steve Reeves and Ian Witten",
  publisher = "Springer-Verlag",
}
@inproceedings{Gibbons95:Initial,
  title = "An Initial-Algebra Approach to Directed Acyclic Graphs",
  author = "Jeremy Gibbons",
  year = "1995",
  booktitle = "Mathematics of Program Construction",
  editor = "Bernhard M{\"o}ller",
  pages = "282--303",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/damgs.ps.gz",
  volume = "947",
}
@inproceedings{Gibbons95:Dotted,
  title = "Dotted and Dashed Lines in Metafont",
  author = "Jeremy Gibbons",
  year = "1995",
  booktitle = "Proceedings of the 1995 Annual Meeting",
  editor = "Robin Fairbairns",
  organization = "\TeX{} Users' Group",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/dashed.ps.gz",
}
@inproceedings{Gibbons94:Introduction,
  title = "An Introduction to the Bird-Meertens Formalism",
  author = "Jeremy Gibbons",
  year = "1994",
  address = "Hamilton",
  booktitle = "Proceedings of the First New Zealand Formal Program Development Colloquium",
  editor = "Steve Reeves",
  month = "nov",
  pages = "1--12",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-squiggol.ps.gz",
}
@article{Gibbons*94:Efficient,
  title = "Efficient Parallel Algorithms for Tree Accumulations",
  author = "Jeremy Gibbons and Wentong Cai and David Skillicorn",
  year = "1994",
  journal = "Science of Computer Programming",
  pages = "1--18",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/efficient.ps.gz",
  volume = "23",
}
@inproceedings{Gibbons94:How,
  title = "How to Derive Tidy Drawings of Trees",
  author = "Jeremy Gibbons",
  year = "1994",
  address = "Department of Computer Science, University of Auckland",
  annote = "Condensed version of \cite{Gibbons93:Deriving}",
  booktitle = "Proceedings of Salodays in Auckland",
  editor = "C. Calude and M. J. J. Lennon and H. Maurer",
  note = "Also in Proceedings of First New Zealand Formal Program Development Colloquium, p.\,105--126.",
  pages = "53--73",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-drawing.ps.gz",
}
@techreport{Jones&Gibbons93:Linear,
  title = "Linear-time Breadth-first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips",
  author = "Geraint Jones and Jeremy Gibbons",
  year = "1993",
  institution = "Dept of Computer Science, University of Auckland",
  month = "may",
  note = "Also IFIP Working Group 2.1 working paper 705~WIN-2",
  number = "No.\,71",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/linear.ps.gz",
}
@inproceedings{Gibbons93:Computing,
  title = "Computing Downwards Accumulations on Trees Quickly",
  author = "Jeremy Gibbons",
  year = "1993",
  address = "Brisbane",
  booktitle = "16th Australian Computer Science Conference",
  editor = "Gopal Gupta and George Mohay and Rodney Topor",
  month = "feb",
  pages = "685--691",
}
@inproceedings{Gibbons93:Upwards,
  title = "Upwards and Downwards Accumulations on Trees",
  author = "Jeremy Gibbons",
  year = "1993",
  booktitle = "Mathematics of Program Construction",
  editor = "R.~S. Bird and C.~C. Morgan and J.~C.~P. Woodcock",
  note = "A revised version appears in the Proceedings of the Massey Functional Programming Workshop, 1992",
  pages = "122--138",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/accumulations.ps.gz",
  volume = "669",
}
@inproceedings{Gibbons93:Formal,
  title = "Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit",
  author = "Jeremy Gibbons",
  year = "1993",
  booktitle = "Proceedings of the 13th New Zealand Computer Society Conference",
  editor = "John Hosking",
  pages = "207--217",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/formal.ps.gz",
}
@phdthesis{Gibbons91:Algebras,
  title = "Algebras for Tree Algorithms",
  author = "Jeremy Gibbons",
  year = "1991",
  note = "Available as Technical Monograph PRG-94. ISBN 0-902928-72-4",
  school = "Programming Research Group, Oxford University",
  url = "http://www.cs.ox.ac.uk/files/3422/PRG94.pdf",
}
@article{Bird*89:KMP,
  title = "Formal Derivation of a Pattern Matching Algorithm",
  author = "Richard S. Bird and Jeremy Gibbons and Geraint Jones",
  year = "1989",
  journal = "Science of Computer Programming",
  month = "jul",
  number = "2",
  pages = "93--104",
  url = "http://dx.doi.org/10.1016/0167-6423(89)90036-1",
  volume = "12",
}
@mastersthesis{Gibbons88:View,
  title = "A New View of Binary Trees",
  author = "Jeremy Gibbons",
  year = "1988",
  note = "Abstract appears in the Bulletin of the EATCS, number~39, p.~214.",
  school = "Programming Research Group, Oxford University",
}
@book{12214,
}
@proceedings{12276,
}
@proceedings{12275,
}