publications:
- title: "Formal methods for future interoperability"
  author:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1595453.1595463"
  links:
    doi: "http://doi.acm.org/10.1145/1595453.1595463"
  researchr: "https://researchr.org/publication/DaviesG09"
  cites: 0
  citedby: 0
  journal: "ACM SIGCSE Bulletin"
  volume: "41"
  number: "2"
  pages: "60-64"
  kind: "article"
  key: "DaviesG09"
- title: "Unbounded Spigot Algorithms for the Digits of Pi"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2006"
  doi: "http://www.jstor.org/stable/27641917"
  links:
    doi: "http://www.jstor.org/stable/27641917"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tamm/Gibbons06"
  researchr: "https://researchr.org/publication/Gibbons06-1"
  cites: 0
  citedby: 0
  journal: "The American Mathematical Monthly"
  volume: "113"
  number: "4"
  pages: "318-328"
  kind: "article"
  key: "Gibbons06-1"
- title: "Structured Programing in Java"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1998"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/Gibbons88"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "33"
  number: "4"
  pages: "40-43"
  kind: "article"
  key: "Gibbons88"
- title: "Calculating Functional Programs"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2297/22970149.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2297/22970149.htm"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/Gibbons00%3A0"
  cites: 0
  citedby: 0
  pages: "149-202"
  booktitle: "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Roy L. Crole"
    link: "https://researchr.org/alias/roy-l.-crole"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "2297"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43613-8"
  kind: "inproceedings"
  key: "Gibbons00:0"
- title: "The essence of the Iterator pattern"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796809007291"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796809007291"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/GibbonsO09"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "19"
  number: "3-4"
  pages: "377-402"
  kind: "article"
  key: "GibbonsO09"
- title: "Fast and loose reasoning is morally correct"
  author:
  - name: "Nils Anders Danielsson"
    link: "http://www.cse.chalmers.se/~nad/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111037.1111056"
  abstract: "Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify such reasoning.Two languages are defined, one total and one partial, with identical syntax. The semantics of the partial language includes partial and infinite values, and all types are lifted, including the function spaces. A partial equivalence relation (PER) is then defined, the domain of which is the total subset of the partial language. For types not containing function spaces the PER relates equal values, and functions are related if they map related values to related values.It is proved that if two closed terms have the same semantics in the total language, then they have related semantics in the partial language. It is also shown that the PER gives rise to a bicartesian closed category which can be used to reason about values in the domain of the relation."
  links:
    doi: "http://doi.acm.org/10.1145/1111037.1111056"
  tags:
  - "programming languages"
  - "semantics"
  - "functional programming"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/DanielssonHJG06"
  cites: 0
  citedby: 0
  pages: "206-217"
  booktitle: "Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006"
  editor:
  - name: "J. Gregory Morrisett"
    link: "https://researchr.org/alias/j.-gregory-morrisett"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  publisher: "ACM"
  isbn: "1-59593-027-2"
  kind: "inproceedings"
  key: "DanielssonHJG06"
- title: "Just do it: simple monadic equational reasoning"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2034773.2034777"
  links:
    doi: "http://doi.acm.org/10.1145/2034773.2034777"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/GibbonsH11"
  researchr: "https://researchr.org/publication/GibbonsH11"
  cites: 0
  citedby: 0
  pages: "2-14"
  booktitle: "Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011"
  editor:
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Zhenjiang Hu"
    link: "https://researchr.org/alias/zhenjiang-hu"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "978-1-4503-0865-6"
  kind: "inproceedings"
  key: "GibbonsH11"
- title: "Arithmetic Coding with Folds and Unfolds"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=1"
  researchr: "https://researchr.org/publication/BirdG02"
  cites: 0
  citedby: 0
  pages: "1-26"
  booktitle: "Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  volume: "2638"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40132-6"
  kind: "inproceedings"
  key: "BirdG02"
- title: "Unifying Theories of Objects"
  author:
  - name: "Michael Anthony Smith"
    link: "https://researchr.org/alias/michael-anthony-smith"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73210-5_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73210-5_31"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/SmithG07"
  cites: 0
  citedby: 0
  pages: "599-618"
  booktitle: "Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings"
  editor:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "4591"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73209-9"
  kind: "inproceedings"
  key: "SmithG07"
- title: "Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting"
  author:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1999"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/MoorG99"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "35"
  number: "1"
  pages: "3-27"
  kind: "article"
  key: "MoorG99"
- title: "Semantic Frameworks - Meanings in the Architecture"
  author:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11659-9_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11659-9_4"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/DaviesG10"
  cites: 0
  citedby: 0
  pages: "40-54"
  booktitle: "Distributed Computing and Internet Technology, 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings"
  editor:
  - name: "Tomasz Janowski"
    link: "https://researchr.org/alias/tomasz-janowski"
  - name: "Hrushikesha Mohanty"
    link: "https://researchr.org/alias/hrushikesha-mohanty"
  volume: "5966"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11658-2"
  kind: "inproceedings"
  key: "DaviesG10"
- title: "The Under-Appreciated Unfold"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Geraint Jones"
    link: "https://researchr.org/alias/geraint-jones"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289455"
  links:
    doi: "http://doi.acm.org/10.1145/289423.289455"
  researchr: "https://researchr.org/publication/GibbonsJ98"
  cites: 0
  citedby: 0
  pages: "273-279"
  booktitle: "Proceedings of the third ACM SIGPLAN international conference on Functional programming"
  editor:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Paul Hudak"
    link: "http://www.cs.yale.edu/homes/hudak/"
  - name: "Christian Queinnec"
    link: "https://researchr.org/alias/christian-queinnec"
  address: "Baltimore, Maryland, United States"
  publisher: "ACM"
  kind: "inproceedings"
  key: "GibbonsJ98"
- title: "Proof Methods for Corecursive Programs"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  year: "2005"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=66&issue=4&spage=353"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=66&issue=4&spage=353"
  researchr: "https://researchr.org/publication/GibbonsH05"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "66"
  number: "4"
  pages: "353-366"
  kind: "article"
  key: "GibbonsH05"
- title: "Generic downwards accumulations"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2000"
  researchr: "https://researchr.org/publication/Gibbons00"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "37"
  number: "1-3"
  pages: "37-65"
  kind: "article"
  key: "Gibbons00"
- title: "Entangled State Monads"
  author:
  - name: "James Cheney"
    link: "https://researchr.org/alias/james-cheney"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Faris Abou-Saleh"
    link: "https://researchr.org/alias/faris-abou-saleh"
  year: "2014"
  doi: "http://ceur-ws.org/Vol-1133/paper-17.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-1133/paper-17.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/edbt/CheneyMSGA14"
  researchr: "https://researchr.org/publication/CheneyMSGA14"
  cites: 0
  citedby: 0
  pages: "108-111"
  booktitle: "Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014"
  editor:
  - name: "K. Selçuk Candan"
    link: "https://researchr.org/alias/k.-sel%C3%A7uk-candan"
  - name: "Sihem Amer-Yahia"
    link: "https://researchr.org/alias/sihem-amer-yahia"
  - name: "Nicole Schweikardt"
    link: "https://researchr.org/alias/nicole-schweikardt"
  - name: "Vassilis Christophides"
    link: "https://researchr.org/alias/vassilis-christophides"
  - name: "Vincent Leroy"
    link: "https://researchr.org/alias/vincent-leroy"
  volume: "1133"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "CheneyMSGA14"
- title: "Datatype-Generic Programming"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-76786-2_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76786-2_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssdgp/Gibbons06"
  researchr: "https://researchr.org/publication/Gibbons06-0"
  cites: 0
  citedby: 0
  pages: "1-71"
  booktitle: "Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "4719"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76785-5"
  kind: "inproceedings"
  key: "Gibbons06-0"
- title: "On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects"
  author:
  - name: "Andrew Simpson"
    link: "https://researchr.org/alias/andrew-simpson"
  - name: "Andrew Martin"
    link: "https://researchr.org/alias/andrew-martin"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Steve McKeever"
    link: "https://researchr.org/alias/steve-mckeever"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770628abs.htm"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770628abs.htm"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/SimpsonMGDM03"
  cites: 0
  citedby: 0
  pages: "628-633"
  booktitle: "Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "SimpsonMGDM03"
- title: "ACM SIGPLAN vice-chair's report"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2502508.2502511"
  links:
    doi: "http://doi.acm.org/10.1145/2502508.2502511"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/Gibbons13"
  researchr: "https://researchr.org/publication/Gibbons13"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "48"
  number: "4S"
  pages: "3"
  kind: "article"
  key: "Gibbons13"
- title: "Algebraic Methods for Optimization Problems"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2297/22970281.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2297/22970281.htm"
  tags:
  - "optimization"
  - " algebra"
  researchr: "https://researchr.org/publication/BirdGM00"
  cites: 0
  citedby: 0
  pages: "281-308"
  booktitle: "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Roy L. Crole"
    link: "https://researchr.org/alias/roy-l.-crole"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "2297"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43613-8"
  kind: "inproceedings"
  key: "BirdGM00"
- title: "Form Follows Function - Model-Driven Engineering for Clinical Trials"
  author:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Charles Crichton"
    link: "https://researchr.org/alias/charles-crichton"
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Andrew Tsui"
    link: "https://researchr.org/alias/andrew-tsui"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-32355-3_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32355-3_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fhies/DaviesGCCHT11"
  researchr: "https://researchr.org/publication/DaviesGCCHT11"
  cites: 0
  citedby: 0
  pages: "21-38"
  booktitle: "Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers"
  editor:
  - name: "Zhiming Liu"
    link: "https://researchr.org/alias/zhiming-liu"
  - name: "Alan Wassyng"
    link: "https://researchr.org/alias/alan-wassyng"
  volume: "7151"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-32354-6"
  kind: "inproceedings"
  key: "DaviesGCCHT11"
- title: "Refactoring pattern matching"
  author:
  - name: "Meng Wang"
    link: "https://researchr.org/alias/meng-wang"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Kazutaka Matsuda"
    link: "https://researchr.org/alias/kazutaka-matsuda"
  - name: "Zhenjiang Hu"
    link: "https://researchr.org/alias/zhenjiang-hu"
  year: "2013"
  doi: "http://dx.doi.org/10.1016/j.scico.2012.07.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2012.07.014"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/WangGMH13"
  researchr: "https://researchr.org/publication/WangGMH13"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "78"
  number: "11"
  pages: "2216-2242"
  kind: "article"
  key: "WangGMH13"
- title: "Compositionality and Refinement in Model-Driven Engineering"
  author:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "David Milward"
    link: "https://researchr.org/alias/david-milward"
  - name: "James Welch"
    link: "https://researchr.org/alias/james-welch"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33296-8_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33296-8_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sbmf/DaviesGMW12"
  researchr: "https://researchr.org/publication/DaviesGMW12"
  cites: 0
  citedby: 0
  pages: "99-114"
  booktitle: "Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings"
  editor:
  - name: "Rohit Gheyi"
    link: "https://researchr.org/alias/rohit-gheyi"
  - name: "David A. Naumann"
    link: "https://researchr.org/alias/david-a.-naumann"
  volume: "7498"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-33295-1"
  kind: "inproceedings"
  key: "DaviesGMW12"
- title: "Unifying Theories of Locations"
  author:
  - name: "Michael Anthony Smith"
    link: "https://researchr.org/alias/michael-anthony-smith"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-14521-6_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14521-6_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/utp/SmithG08"
  researchr: "https://researchr.org/publication/SmithG08-2"
  cites: 0
  citedby: 0
  pages: "161-180"
  booktitle: "Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers"
  editor:
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  volume: "5713"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14520-9"
  kind: "inproceedings"
  key: "SmithG08-2"
- title: "Towards a Repository of Bx Examples"
  author:
  - name: "James Cheney"
    link: "https://researchr.org/alias/james-cheney"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2014"
  doi: "http://ceur-ws.org/Vol-1133/paper-14.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-1133/paper-14.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/edbt/CheneyMSG14"
  researchr: "https://researchr.org/publication/CheneyMSG14"
  cites: 0
  citedby: 0
  pages: "87-91"
  booktitle: "Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014"
  editor:
  - name: "K. Selçuk Candan"
    link: "https://researchr.org/alias/k.-sel%C3%A7uk-candan"
  - name: "Sihem Amer-Yahia"
    link: "https://researchr.org/alias/sihem-amer-yahia"
  - name: "Nicole Schweikardt"
    link: "https://researchr.org/alias/nicole-schweikardt"
  - name: "Vassilis Christophides"
    link: "https://researchr.org/alias/vassilis-christophides"
  - name: "Vincent Leroy"
    link: "https://researchr.org/alias/vincent-leroy"
  volume: "1133"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "CheneyMSG14"
- title: "TypeCase: a design pattern for type-indexed functions"
  author:
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088348.1088358"
  links:
    doi: "http://doi.acm.org/10.1145/1088348.1088358"
  tags:
  - "Haskell"
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/OliveiraG05"
  cites: 0
  citedby: 0
  pages: "98-109"
  booktitle: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005"
  editor:
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  publisher: "ACM"
  isbn: "1-59593-071-X"
  kind: "inproceedings"
  key: "OliveiraG05"
- title: "A Pointless Derivation of Radix Sort"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1999"
  researchr: "https://researchr.org/publication/Gibbons99"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "9"
  number: "3"
  pages: "339-346"
  kind: "article"
  key: "Gibbons99"
- title: "Disciplined, efficient, generalised folds for nested datatypes"
  author:
  - name: "Clare E. Martin"
    link: "https://researchr.org/alias/clare-e.-martin"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Ian Bayley"
    link: "https://researchr.org/alias/ian-bayley"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/s00165-003-0013-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-003-0013-6"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/MartinGB04"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "16"
  number: "1"
  pages: "19-35"
  kind: "article"
  key: "MartinGB04"
- title: "Selected papers from Mathematics of Program Construction 2012"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Pablo Nogueira"
    link: "https://researchr.org/alias/pablo-nogueira"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.scico.2013.09.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2013.09.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/GibbonsN14"
  researchr: "https://researchr.org/publication/GibbonsN14"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "85"
  pages: "101"
  kind: "article"
  key: "GibbonsN14"
- title: "When is a function a fold or an unfold?"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/73/23/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/73/23/show/Products/notes/index.htt#008"
  researchr: "https://researchr.org/publication/GibbonsHA01"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "44"
  number: "1"
  pages: "146-160"
  kind: "article"
  key: "GibbonsHA01"
- title: "Scala for generic programmers"
  author:
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S0956796810000171"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796810000171"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/OliveiraG10"
  tags:
  - "Scala"
  - "C++"
  researchr: "https://researchr.org/publication/OliveiraG10-0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "20"
  number: "3-4"
  pages: "303-352"
  kind: "article"
  key: "OliveiraG10-0"
- title: "Gradual Refinement"
  author:
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mpc/WangGMH10"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/WangGMH10"
  cites: 0
  citedby: 0
  pages: "397-425"
  booktitle: "Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings"
  editor:
  - name: "Claude Bolduc"
    link: "https://researchr.org/alias/claude-bolduc"
  - name: "Jules Desharnais"
    link: "https://researchr.org/alias/jules-desharnais"
  - name: "Béchir Ktari"
    link: "https://researchr.org/alias/b%C3%A9chir-ktari"
  volume: "6120"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13320-6"
  kind: "inproceedings"
  key: "WangGMH10"
- title: "Property Specifications for Workflow Modelling"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_5"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "workflow"
  researchr: "https://researchr.org/publication/WongG09"
  cites: 0
  citedby: 0
  pages: "56-71"
  booktitle: "Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings"
  editor:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Heike Wehrheim"
    link: "https://researchr.org/alias/heike-wehrheim"
  volume: "5423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00254-0"
  kind: "inproceedings"
  key: "WongG09"
- title: "Streaming Representation-Changers"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=142"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=142"
  researchr: "https://researchr.org/publication/Gibbons04"
  cites: 0
  citedby: 0
  pages: "142-168"
  booktitle: "Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings"
  editor:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Carron Shankland"
    link: "https://researchr.org/alias/carron-shankland"
  volume: "3125"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22380-0"
  kind: "inproceedings"
  key: "Gibbons04"
- title: "Semantic technologies in electronic government"
  author:
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Andrew Tsui"
    link: "https://researchr.org/alias/andrew-tsui"
  - name: "Charles Crichton"
    link: "https://researchr.org/alias/charles-crichton"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1509096.1509108"
  links:
    doi: "http://doi.acm.org/10.1145/1509096.1509108"
  researchr: "https://researchr.org/publication/HarrisGDTC08"
  cites: 0
  citedby: 0
  pages: "45-51"
  booktitle: "Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, ICEGOV 2008, Cairo, Egypt, December 1-4, 2008"
  editor:
  - name: "Tomasz Janowski"
    link: "https://researchr.org/alias/tomasz-janowski"
  - name: "Theresa A. Pardo"
    link: "https://researchr.org/alias/theresa-a.-pardo"
  volume: "351"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "978-1-60558-386-0"
  kind: "inproceedings"
  key: "HarrisGDTC08"
- title: "Metadata standards for semantic interoperability in electronic government"
  author:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Charles Crichton"
    link: "https://researchr.org/alias/charles-crichton"
  - name: "Aadya Shukla"
    link: "https://researchr.org/alias/aadya-shukla"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1509096.1509111"
  links:
    doi: "http://doi.acm.org/10.1145/1509096.1509111"
  researchr: "https://researchr.org/publication/DaviesHCSG08"
  cites: 0
  citedby: 0
  pages: "67-75"
  booktitle: "Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, ICEGOV 2008, Cairo, Egypt, December 1-4, 2008"
  editor:
  - name: "Tomasz Janowski"
    link: "https://researchr.org/alias/tomasz-janowski"
  - name: "Theresa A. Pardo"
    link: "https://researchr.org/alias/theresa-a.-pardo"
  volume: "351"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "978-1-60558-386-0"
  kind: "inproceedings"
  key: "DaviesHCSG08"
- title: "Polytypic Downwards Accumulations"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220207.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220207.htm"
  tags:
  - "polytypic"
  researchr: "https://researchr.org/publication/Gibbons98"
  cites: 0
  citedby: 0
  pages: "207-233"
  booktitle: "Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "1422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64591-8"
  kind: "inproceedings"
  key: "Gibbons98"
- title: "Towards a Colimit-Based Semantics for Visual Programming"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2315/23150166.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2315/23150166.htm"
  tags:
  - "semantics"
  - "rule-based"
  - "programming"
  researchr: "https://researchr.org/publication/Gibbons02"
  cites: 0
  citedby: 0
  pages: "166-173"
  booktitle: "Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings"
  editor:
  - name: "Farhad Arbab"
    link: "https://researchr.org/alias/farhad-arbab"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  volume: "2315"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43410-0"
  kind: "inproceedings"
  key: "Gibbons02"
- title: "Unfolding Abstract Datatypes"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70594-9_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70594-9_8"
  researchr: "https://researchr.org/publication/Gibbons08"
  cites: 0
  citedby: 0
  pages: "110-133"
  booktitle: "Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings"
  editor:
  - name: "Philippe Audebaud"
    link: "https://researchr.org/alias/philippe-audebaud"
  - name: "Christine Paulin-Mohring"
    link: "https://researchr.org/alias/christine-paulin-mohring"
  volume: "5133"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70593-2"
  kind: "inproceedings"
  key: "Gibbons08"
- title: "A Relative Timed Semantics for BPMN"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.06.029"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.06.029"
  tags:
  - "semantics"
  - "BPMN"
  researchr: "https://researchr.org/publication/WongG09-0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "229"
  number: "2"
  pages: "59-75"
  kind: "article"
  key: "WongG09-0"
- title: "On Specifying and Visualising Long-Running Empirical Studies"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_6"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/WongG08%3A2"
  cites: 0
  citedby: 0
  pages: "76-90"
  booktitle: "Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings"
  editor:
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  - name: "Jeffrey G. Gray"
    link: "http://www.gray-area.org/"
  - name: "Alfonso Pierantonio"
    link: "http://www.di.univaq.it/alfonso"
  volume: "5063"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69926-2"
  kind: "inproceedings"
  key: "WongG08:2"
- title: "Scala for generic programmers"
  author:
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411318.1411323"
  links:
    doi: "http://doi.acm.org/10.1145/1411318.1411323"
  tags:
  - "Scala"
  - "C++"
  researchr: "https://researchr.org/publication/OliveiraG08"
  cites: 0
  citedby: 0
  pages: "25-36"
  booktitle: "Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Don Syme"
    link: "https://researchr.org/alias/don-syme"
  publisher: "ACM"
  isbn: "978-1-60558-060-9"
  kind: "inproceedings"
  key: "OliveiraG08"
- title: "Invited Talk: Pointwise Relational Programming"
  author:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160371.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160371.htm"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/MoorG00"
  cites: 0
  citedby: 0
  pages: "371-390"
  booktitle: "Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings"
  editor:
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  volume: "1816"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67530-2"
  kind: "inproceedings"
  key: "MoorG00"
- title: "A Process-Algebraic Approach to Workflow Specification and Refinement"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77351-1_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77351-1_5"
  tags:
  - "refinement"
  - "process algebra"
  - "algebraic specification"
  - " algebra"
  - "workflow"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/WongG07%3A0"
  cites: 0
  citedby: 0
  pages: "51-65"
  booktitle: "Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers"
  editor:
  - name: "Markus Lumpe"
    link: "https://researchr.org/alias/markus-lumpe"
  - name: "Wim Vanderperren"
    link: "https://researchr.org/alias/wim-vanderperren"
  volume: "4829"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77350-4"
  kind: "inproceedings"
  key: "WongG07:0"
- title: "Editorial"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S0956796809990256"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796809990256"
  researchr: "https://researchr.org/publication/Gibbons10"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "20"
  number: "1"
  pages: "1"
  kind: "article"
  key: "Gibbons10"
- title: "Monads for Behaviour"
  author:
  - name: "Maciej Piróg"
    link: "https://researchr.org/alias/maciej-pir%C3%B3g"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2013"
  doi: "http://dx.doi.org/10.1016/j.entcs.2013.09.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2013.09.019"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/PirogG13"
  researchr: "https://researchr.org/publication/PirogG13"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "298"
  pages: "309-324"
  kind: "article"
  key: "PirogG13"
- title: "Understanding idiomatic traversals backwards and forwards"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Stefan Mehner"
    link: "http://wob.iai.uni-bonn.de/Wob/en/view/class217_id1467.html"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2503778.2503781"
  abstract: "We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals. Starting out with a specific problem about labelling and unlabelling binary trees, we extract a general inversion law, applicable to any monad, relating a traversal over the elements of an arbitrary traversable type to a traversal that goes in the opposite direction. This law can be invoked to show that, in a suitable sense, unlabelling is the inverse of labelling. The inversion law, as well as a number of other properties of idiomatic traversals, is a corollary of a more general theorem characterising traversable functors as finitary containers: an arbitrary traversable object can be decomposed uniquely into shape and contents, and traversal be understood in terms of those. Proof of the theorem involves the properties of traversal in a special idiom related to the free applicative functor."
  links:
    doi: "http://doi.acm.org/10.1145/2503778.2503781"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/BirdGMVS13"
  researchr: "https://researchr.org/publication/BirdGMVS13"
  cites: 0
  citedby: 0
  pages: "25-36"
  booktitle: "Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013"
  editor:
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  publisher: "ACM"
  isbn: "978-1-4503-2383-3"
  kind: "inproceedings"
  key: "BirdGMVS13"
- title: "On the semantics of nested datatypes"
  author:
  - name: "Clare E. Martin"
    link: "https://researchr.org/alias/clare-e.-martin"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0020-0190(01)00168-5"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(01)00168-5"
  tags:
  - "semantics"
  - "e-science"
  researchr: "https://researchr.org/publication/MartinG01"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "80"
  number: "5"
  pages: "233-238"
  kind: "article"
  key: "MartinG01"
- title: "Unifying Theories of Programming with Monads"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-35705-3_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35705-3_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/utp/Gibbons12"
  researchr: "https://researchr.org/publication/Gibbons12"
  cites: 0
  citedby: 0
  pages: "23-67"
  booktitle: "Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers"
  editor:
  - name: "Burkhart Wolff"
    link: "https://researchr.org/alias/burkhart-wolff"
  - name: "Marie-Claude Gaudel"
    link: "https://researchr.org/alias/marie-claude-gaudel"
  - name: "Abderrahmane Feliachi"
    link: "https://researchr.org/alias/abderrahmane-feliachi"
  volume: "7681"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-35705-3"
  kind: "inproceedings"
  key: "Gibbons12"
- title: "Computing Downwards Accumulations on Trees Quickly"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00114-4"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)00114-4"
  researchr: "https://researchr.org/publication/Gibbons96"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "169"
  number: "1"
  pages: "67-80"
  kind: "article"
  key: "Gibbons96"
- title: "Formal Derivation of a Pattern Matching Algorithm"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Geraint Jones"
    link: "https://researchr.org/alias/geraint-jones"
  year: "1989"
  tags:
  - "pattern matching"
  researchr: "https://researchr.org/publication/BirdGJ89"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "12"
  number: "2"
  pages: "93-104"
  kind: "article"
  key: "BirdGJ89"
- title: "An Initial-Algebra Approach to Directed Acyclic Graphs"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1995"
  tags:
  - "graph-rewriting"
  - " algebra"
  - "rewriting"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Gibbons95"
  cites: 0
  citedby: 0
  pages: "282-303"
  booktitle: "Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings"
  editor:
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  volume: "947"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60117-1"
  kind: "inproceedings"
  key: "Gibbons95"
- title: "The generic approximation lemma"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0020-0190(00)00220-9"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(00)00220-9"
  researchr: "https://researchr.org/publication/HuttonG01"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "79"
  number: "4"
  pages: "197-201"
  kind: "article"
  key: "HuttonG01"
- title: "Fission for Program Comprehension"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_12"
  links:
    doi: "http://dx.doi.org/10.1007/11783596_12"
  tags:
  - "program comprehension"
  researchr: "https://researchr.org/publication/Gibbons06%3A0"
  cites: 0
  citedby: 0
  pages: "162-179"
  booktitle: "Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings"
  editor:
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  volume: "4014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35631-2"
  kind: "inproceedings"
  key: "Gibbons06:0"
- title: "Deriving Tidy Drawings of Trees"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1996"
  researchr: "https://researchr.org/publication/Gibbons96%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "6"
  number: "3"
  pages: "535-562"
  kind: "article"
  key: "Gibbons96:0"
- title: "WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research"
  author:
  - name: "Tianyi Zang"
    link: "https://researchr.org/alias/tianyi-zang"
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Andrew Tsui"
    link: "https://researchr.org/alias/andrew-tsui"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Peter Maccallum"
    link: "https://researchr.org/alias/peter-maccallum"
  - name: "Carlos H. Caldas"
    link: "https://researchr.org/alias/carlos-h.-caldas"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CCGRID.2008.57"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CCGRID.2008.57"
  tags:
  - "rule-based"
  - "modeling"
  - "information models"
  researchr: "https://researchr.org/publication/ZangCHTKGDMC08"
  cites: 0
  citedby: 0
  pages: "73-81"
  booktitle: "8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "ZangCHTKGDMC08"
- title: "Formalisations and applications of BPMN"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.scico.2009.09.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2009.09.010"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/WongG11"
  tags:
  - "BPMN"
  researchr: "https://researchr.org/publication/WongG11"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "76"
  number: "8"
  pages: "633-650"
  kind: "article"
  key: "WongG11"
- title: "Functional Pearl: Enumerating the rationals"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "David Lester"
    link: "https://researchr.org/alias/david-lester"
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796806005880"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796806005880"
  researchr: "https://researchr.org/publication/GibbonsLB06"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "16"
  number: "3"
  pages: "281-291"
  kind: "article"
  key: "GibbonsLB06"
- title: "Semantics-Driven Development for Electronic Government Applications"
  author:
  - name: "Charles Crichton"
    link: "https://researchr.org/alias/charles-crichton"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Aadya Shukla"
    link: "https://researchr.org/alias/aadya-shukla"
  - name: "Andrew Tsui"
    link: "https://researchr.org/alias/andrew-tsui"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/HICSS.2009.384"
  abstract: "It has been argued that the challenges in electronic government are purely social: that existing methods and tools are perfectly adequate, and that electronic government projects fail because of people, not technology. While acknowledging that there are organisational and political challenges, this paper argues that there is also a significant, technical challenge, and a corresponding technology gap. It argues also that this challenge may be addressed through a combination of model-driven development and semantic technologies, and reports briefly upon a successful, prototypical application."
  links:
    doi: "http://dx.doi.org/10.1109/HICSS.2009.384"
  tags:
  - "semantics"
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "social"
  researchr: "https://researchr.org/publication/CrichtonDGHST09"
  cites: 0
  citedby: 0
  pages: "1-10"
  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"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "CrichtonDGHST09"
- title: "Metamorphisms: Streaming representation-changers"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.01.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.01.006"
  researchr: "https://researchr.org/publication/Gibbons07"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "65"
  number: "2"
  pages: "108-139"
  kind: "article"
  key: "Gibbons07"
- title: "The visitor pattern as a reusable, generic, type-safe component"
  author:
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449764.1449799"
  links:
    doi: "http://doi.acm.org/10.1145/1449764.1449799"
  tags:
  - "reusable components"
  - "visitor"
  - "reuse"
  - "C++"
  researchr: "https://researchr.org/publication/OliveiraWG08"
  cites: 0
  citedby: 0
  pages: "439-456"
  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"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-215-3"
  kind: "inproceedings"
  key: "OliveiraWG08"
- title: "Relating Algebraic and Coalgebraic Descriptions of Lenses"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Michael Johnson"
    link: "https://researchr.org/alias/michael-johnson"
  year: "2012"
  doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/726"
  links:
    doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/726"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/GibbonsJ12"
  researchr: "https://researchr.org/publication/GibbonsJ12"
  cites: 0
  citedby: 0
  journal: "ECEASST"
  volume: "49"
  kind: "article"
  key: "GibbonsJ12"
- title: "Verifying Business Process Compatibility (Short Paper)"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.6"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.6"
  researchr: "https://researchr.org/publication/WongG08%3A1"
  cites: 0
  citedby: 0
  pages: "126-131"
  booktitle: "Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK"
  editor:
  - name: "Hong Zhu"
    link: "https://researchr.org/alias/hong-zhu"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "WongG08:1"
- title: "A Process Semantics for BPMN"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88194-0_22"
  abstract: "Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the gap between business process design and implementation. However, the specification of the notation does not include a formal semantics. This paper shows how a subset of the BPMN can be given a process semantics in Communicating Sequential Processes. Such a semantics allows developers to formally analyse and compare BPMN diagrams. A simple example of a business process is included to demonstrate the application of the semantics; some theoretical results about the semantics are briefly discussed. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88194-0_22"
  tags:
  - "semantics"
  - "formal semantics"
  - "BPMN"
  - "meta-model"
  - "modeling"
  - "business process modeling"
  - "Meta-Environment"
  - "design"
  - "process modeling"
  researchr: "https://researchr.org/publication/WongG08"
  cites: 0
  citedby: 0
  pages: "355-374"
  booktitle: "Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings"
  editor:
  - name: "Shaoying Liu"
    link: "https://researchr.org/alias/shaoying-liu"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  volume: "5256"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-88193-3"
  kind: "inproceedings"
  key: "WongG08"
- title: "Incremental updates for efficient bidirectional transformations"
  author:
  - name: "Meng Wang"
    link: "https://researchr.org/alias/meng-wang"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Nicolas Wu"
    link: "https://researchr.org/alias/nicolas-wu"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2034773.2034825"
  links:
    doi: "http://doi.acm.org/10.1145/2034773.2034825"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/WangGW11"
  researchr: "https://researchr.org/publication/WangGW11-2"
  cites: 0
  citedby: 0
  pages: "392-403"
  booktitle: "Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011"
  editor:
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Zhenjiang Hu"
    link: "https://researchr.org/alias/zhenjiang-hu"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "978-1-4503-0865-6"
  kind: "inproceedings"
  key: "WangGW11-2"
- title: "The Third Homomorphism Theorem"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1996"
  researchr: "https://researchr.org/publication/Gibbons96a"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "6"
  number: "4"
  pages: "657-665"
  kind: "article"
  key: "Gibbons96a"
- title: "Efficient Parallel Algorithms for Tree Accumulations"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Wentong Cai"
    link: "https://researchr.org/alias/wentong-cai"
  - name: "David B. Skillicorn"
    link: "https://researchr.org/alias/david-b.-skillicorn"
  year: "1994"
  researchr: "https://researchr.org/publication/GibbonsCS94"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "23"
  number: "1"
  pages: "1-18"
  kind: "article"
  key: "GibbonsCS94"
- title: "Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research"
  author:
  - name: "Tianyi Zang"
    link: "https://researchr.org/alias/tianyi-zang"
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Andrew Tsui"
    link: "https://researchr.org/alias/andrew-tsui"
  - name: "Charles Crichton"
    link: "https://researchr.org/alias/charles-crichton"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "James D. Brenton"
    link: "https://researchr.org/alias/james-d.-brenton"
  - name: "Carlos H. Caldas"
    link: "https://researchr.org/alias/carlos-h.-caldas"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/eScience.2008.129"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/eScience.2008.129"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eScience/ZangCHTCKGDBC08"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/ZangCHTCKGDBC08"
  cites: 0
  citedby: 0
  pages: "406-407"
  booktitle: "Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "ZangCHTCKGDBC08"
- title: "Semantic frameworks for e-government"
  author:
  - name: "Charles Crichton"
    link: "https://researchr.org/alias/charles-crichton"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Aadya Shukla"
    link: "https://researchr.org/alias/aadya-shukla"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1328057.1328066"
  links:
    doi: "http://doi.acm.org/10.1145/1328057.1328066"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/CrichtonDGHS07"
  cites: 0
  citedby: 0
  pages: "30-39"
  booktitle: "Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007, Macao, China, December 10-13, 2007"
  editor:
  - name: "Tomasz Janowski"
    link: "https://researchr.org/alias/tomasz-janowski"
  - name: "Theresa A. Pardo"
    link: "https://researchr.org/alias/theresa-a.-pardo"
  volume: "232"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "978-1-59593-822-0"
  kind: "inproceedings"
  key: "CrichtonDGHS07"
- title: "Model-driven architecture for cancer research"
  author:
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Steve Harris"
    link: "https://researchr.org/alias/steve-harris"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Igor Toujilov"
    link: "https://researchr.org/alias/igor-toujilov"
  - name: "Sylvia B. Nagl"
    link: "https://researchr.org/alias/sylvia-b.-nagl"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.26"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.26"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/CalinescuHGDTN07"
  cites: 0
  citedby: 0
  pages: "59-68"
  booktitle: "Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2884-7"
  kind: "inproceedings"
  key: "CalinescuHGDTN07"
- title: "Upwards and Downwards Accumulations on Trees"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "1992"
  researchr: "https://researchr.org/publication/Gibbons92"
  cites: 0
  citedby: 0
  pages: "122-138"
  booktitle: "Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings"
  editor:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Carroll Morgan"
    link: "https://researchr.org/alias/carroll-morgan"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "669"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56625-2"
  kind: "inproceedings"
  key: "Gibbons92"
- title: "Property specifications for workflow modelling"
  author:
  - name: "Peter Y. H. Wong"
    link: "https://researchr.org/alias/peter-y.-h.-wong"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.scico.2010.09.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2010.09.007"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/WongG11a"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "workflow"
  researchr: "https://researchr.org/publication/WongG11a"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "76"
  number: "10"
  pages: "942-967"
  kind: "article"
  key: "WongG11a"
- title: "Interoperability frameworks for electronic governance"
  author:
  - name: "Alejandra Cechich"
    link: "https://researchr.org/alias/alejandra-cechich"
  - name: "Lorenzo Madrid"
    link: "https://researchr.org/alias/lorenzo-madrid"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Jay P. Kesan"
    link: "https://researchr.org/alias/jay-p.-kesan"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1509096.1509207"
  links:
    doi: "http://doi.acm.org/10.1145/1509096.1509207"
  researchr: "https://researchr.org/publication/CechichMGK08"
  cites: 0
  citedby: 0
  pages: "490-491"
  booktitle: "Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, ICEGOV 2008, Cairo, Egypt, December 1-4, 2008"
  editor:
  - name: "Tomasz Janowski"
    link: "https://researchr.org/alias/tomasz-janowski"
  - name: "Theresa A. Pardo"
    link: "https://researchr.org/alias/theresa-a.-pardo"
  volume: "351"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "978-1-60558-386-0"
  kind: "inproceedings"
  key: "CechichMGK08"
- title: "Unifying structured recursion schemes"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Nicolas Wu"
    link: "https://researchr.org/alias/nicolas-wu"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500578"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500578"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/HinzeWG13"
  researchr: "https://researchr.org/publication/HinzeWG13"
  cites: 0
  citedby: 0
  pages: "209-220"
  booktitle: "ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013"
  editor:
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  publisher: "ACM"
  isbn: "978-1-4503-2326-0"
  kind: "inproceedings"
  key: "HinzeWG13"
- title: "Design patterns as higher-order datatype-generic programs"
  author:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159861.1159863"
  links:
    doi: "http://doi.acm.org/10.1145/1159861.1159863"
  tags:
  - "generic programming"
  - "design"
  researchr: "https://researchr.org/publication/Gibbons06"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Gibbons06"
- title: "Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-32202-0"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32202-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssgip/2010"
  researchr: "https://researchr.org/publication/ssgip-2010"
  cites: 0
  citedby: 0
  booktitle: "Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures"
  conference: "ssgip"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "7470"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-32201-3"
  kind: "proceedings"
  key: "ssgip-2010"
- title: "Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76786-2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76786-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssdgp/2006"
  researchr: "https://researchr.org/publication/ssdgp-2006"
  cites: 0
  citedby: 0
  booktitle: "Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures"
  conference: "ssdgp"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "4719"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76785-5"
  kind: "proceedings"
  key: "ssdgp-2006"
- title: "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures"
  year: "2002"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/acmmpc%3A2000"
  cites: 0
  citedby: 0
  booktitle: "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures"
  conference: "acmmpc"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Roy L. Crole"
    link: "https://researchr.org/alias/roy-l.-crole"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "2297"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43613-8"
  kind: "proceedings"
  key: "acmmpc:2000"
- title: "Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany"
  year: "2003"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/ifip2-1%3A2002"
  cites: 0
  citedby: 0
  booktitle: "Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany"
  conference: "ifip2-1"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "243"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "1-4020-7374-7"
  kind: "proceedings"
  key: "ifip2-1:2002"
- title: "Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-642-53956-5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-53956-5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fhies/2013"
  researchr: "https://researchr.org/publication/fhies-2013"
  cites: 0
  citedby: 0
  booktitle: "Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers"
  conference: "FHIES"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Wendy MacCaull"
    link: "https://researchr.org/alias/wendy-maccaull"
  volume: "8315"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-53955-8"
  kind: "proceedings"
  key: "fhies-2013"
- title: "Generic Programming - Advanced Lectures"
  year: "2003"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/ac%3A2003gp"
  cites: 0
  citedby: 0
  booktitle: "Generic Programming - Advanced Lectures"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "2793"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20194-7"
  kind: "proceedings"
  key: "ac:2003gp"
- title: "Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/2010"
  researchr: "https://researchr.org/publication/haskell-2010"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010"
  conference: "haskell"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  publisher: "ACM"
  isbn: "978-1-4503-0252-4"
  kind: "proceedings"
  key: "haskell-2010"
- title: "Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04912-5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04912-5"
  tags:
  - "teaching"
  researchr: "https://researchr.org/publication/tfm-2009"
  cites: 0
  citedby: 0
  booktitle: "Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings"
  conference: "tfm"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "José Nuno Oliveira"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-nuno-oliveira"
  volume: "5846"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04911-8"
  kind: "proceedings"
  key: "tfm-2009"
- title: "Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-31113-0"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31113-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mpc/2012"
  researchr: "https://researchr.org/publication/mpc-2012"
  cites: 0
  citedby: 0
  booktitle: "Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings"
  conference: "mpc"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Pablo Nogueira"
    link: "https://researchr.org/alias/pablo-nogueira"
  volume: "7342"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-31112-3"
  kind: "proceedings"
  key: "mpc-2012"
- title: "Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings"
  year: "2007"
  researchr: "https://researchr.org/publication/ifm%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings"
  conference: "IFM"
  editor:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "4591"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73209-9"
  kind: "proceedings"
  key: "ifm:2007"