@article{DaviesG09,
  title = {Formal methods for future interoperability},
  author = {Jim Davies and Jeremy Gibbons},
  year = {2009},
  doi = {10.1145/1595453.1595463},
  url = {http://doi.acm.org/10.1145/1595453.1595463},
  researchr = {https://researchr.org/publication/DaviesG09},
  cites = {0},
  citedby = {0},
  journal = {SIGCSE},
  volume = {41},
  number = {2},
  pages = {60-64},
}

@article{Gibbons06-1,
  title = {Unbounded Spigot Algorithms for the Digits of Pi},
  author = {Jeremy Gibbons},
  year = {2006},
  url = {http://www.jstor.org/stable/27641917},
  researchr = {https://researchr.org/publication/Gibbons06-1},
  cites = {0},
  citedby = {0},
  journal = {tamm},
  volume = {113},
  number = {4},
  pages = {318-328},
}

@article{Gibbons88,
  title = {Structured Programing in Java},
  author = {Jeremy Gibbons},
  year = {1998},
  tags = {Java},
  researchr = {https://researchr.org/publication/Gibbons88},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {33},
  number = {4},
  pages = {40-43},
}

@inproceedings{Gibbons00:0,
  title = {Calculating Functional Programs},
  author = {Jeremy Gibbons},
  year = {2000},
  url = {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 = {acmmpc},
}

@article{GibbonsO09,
  title = {The essence of the Iterator pattern},
  author = {Jeremy Gibbons and Bruno C. d. S. Oliveira},
  year = {2009},
  doi = {10.1017/S0956796809007291},
  url = {http://dx.doi.org/10.1017/S0956796809007291},
  tags = {C++},
  researchr = {https://researchr.org/publication/GibbonsO09},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {19},
  number = {3-4},
  pages = {377-402},
}

@inproceedings{DanielssonHJG06,
  title = {Fast and loose reasoning is morally correct},
  author = {Nils Anders Danielsson and John Hughes and Patrik Jansson and Jeremy Gibbons},
  year = {2006},
  doi = {10.1145/1111037.1111056},
  url = {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 = {POPL},
}

@inproceedings{GibbonsH11,
  title = {Just do it: simple monadic equational reasoning},
  author = {Jeremy Gibbons and Ralf Hinze},
  year = {2011},
  doi = {10.1145/2034773.2034777},
  url = {http://doi.acm.org/10.1145/2034773.2034777},
  researchr = {https://researchr.org/publication/GibbonsH11},
  cites = {0},
  citedby = {0},
  pages = {2-14},
  booktitle = {ICFP},
}

@inproceedings{BirdG02,
  title = {Arithmetic Coding with Folds and Unfolds},
  author = {Richard S. Bird and Jeremy Gibbons},
  year = {2002},
  url = {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 = {afp},
}

@inproceedings{SmithG07,
  title = {Unifying Theories of Objects},
  author = {Michael Anthony Smith and Jeremy Gibbons},
  year = {2007},
  doi = {10.1007/978-3-540-73210-5_31},
  url = {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 = {IFM},
}

@article{MoorG99,
  title = {Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting},
  author = {Oege de Moor and Jeremy Gibbons},
  year = {1999},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/MoorG99},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {35},
  number = {1},
  pages = {3-27},
}

@inproceedings{DaviesG10,
  title = {Semantic Frameworks - Meanings in the Architecture},
  author = {Jim Davies and Jeremy Gibbons},
  year = {2010},
  doi = {10.1007/978-3-642-11659-9_4},
  url = {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 = {icdcit},
}

@inproceedings{GibbonsJ98,
  title = {The Under-Appreciated Unfold},
  author = {Jeremy Gibbons and Geraint Jones},
  year = {1998},
  doi = {10.1145/289423.289455},
  url = {http://doi.acm.org/10.1145/289423.289455},
  researchr = {https://researchr.org/publication/GibbonsJ98},
  cites = {0},
  citedby = {0},
  pages = {273-279},
  booktitle = {ICFP},
}

@article{GibbonsH05,
  title = {Proof Methods for Corecursive Programs},
  author = {Jeremy Gibbons and Graham Hutton},
  year = {2005},
  url = {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 = {FUIN},
  volume = {66},
  number = {4},
  pages = {353-366},
}

@article{Gibbons00,
  title = {Generic downwards accumulations},
  author = {Jeremy Gibbons},
  year = {2000},
  researchr = {https://researchr.org/publication/Gibbons00},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {37},
  number = {1-3},
  pages = {37-65},
}

@inproceedings{CheneyMSGA14,
  title = {Entangled State Monads},
  author = {James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons and Faris Abou-Saleh},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1133/paper-17.pdf},
  researchr = {https://researchr.org/publication/CheneyMSGA14},
  cites = {0},
  citedby = {0},
  pages = {108-111},
  booktitle = {edbt},
}

@inproceedings{Gibbons06-0,
  title = {Datatype-Generic Programming},
  author = {Jeremy Gibbons},
  year = {2006},
  doi = {10.1007/978-3-540-76786-2_1},
  url = {http://dx.doi.org/10.1007/978-3-540-76786-2_1},
  researchr = {https://researchr.org/publication/Gibbons06-0},
  cites = {0},
  citedby = {0},
  pages = {1-71},
  booktitle = {ssdgp},
}

@inproceedings{SimpsonMGDM03,
  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},
  url = {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 = {ICSE},
}

@article{Gibbons13,
  title = {ACM SIGPLAN vice-chair's report},
  author = {Jeremy Gibbons},
  year = {2013},
  doi = {10.1145/2502508.2502511},
  url = {http://doi.acm.org/10.1145/2502508.2502511},
  researchr = {https://researchr.org/publication/Gibbons13},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {48},
  number = {4S},
  pages = {3},
}

@inproceedings{BirdGM00,
  title = {Algebraic Methods for Optimization Problems},
  author = {Richard S. Bird and Jeremy Gibbons and Shin-Cheng Mu},
  year = {2000},
  url = {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 = {acmmpc},
}

@inproceedings{DaviesGCCHT11,
  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},
  doi = {10.1007/978-3-642-32355-3_2},
  url = {http://dx.doi.org/10.1007/978-3-642-32355-3_2},
  researchr = {https://researchr.org/publication/DaviesGCCHT11},
  cites = {0},
  citedby = {0},
  pages = {21-38},
  booktitle = {FHIES},
}

@article{WangGMH13,
  title = {Refactoring pattern matching},
  author = {Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu},
  year = {2013},
  doi = {10.1016/j.scico.2012.07.014},
  url = {http://dx.doi.org/10.1016/j.scico.2012.07.014},
  researchr = {https://researchr.org/publication/WangGMH13},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {78},
  number = {11},
  pages = {2216-2242},
}

@inproceedings{DaviesGMW12,
  title = {Compositionality and Refinement in Model-Driven Engineering},
  author = {Jim Davies and Jeremy Gibbons and David Milward and James Welch},
  year = {2012},
  doi = {10.1007/978-3-642-33296-8_9},
  url = {http://dx.doi.org/10.1007/978-3-642-33296-8_9},
  researchr = {https://researchr.org/publication/DaviesGMW12},
  cites = {0},
  citedby = {0},
  pages = {99-114},
  booktitle = {sbmf},
}

@inproceedings{SmithG08-2,
  title = {Unifying Theories of Locations},
  author = {Michael Anthony Smith and Jeremy Gibbons},
  year = {2008},
  doi = {10.1007/978-3-642-14521-6_10},
  url = {http://dx.doi.org/10.1007/978-3-642-14521-6_10},
  researchr = {https://researchr.org/publication/SmithG08-2},
  cites = {0},
  citedby = {0},
  pages = {161-180},
  booktitle = {utp},
}

@inproceedings{CheneyMSG14,
  title = {Towards a Repository of Bx Examples},
  author = {James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1133/paper-14.pdf},
  researchr = {https://researchr.org/publication/CheneyMSG14},
  cites = {0},
  citedby = {0},
  pages = {87-91},
  booktitle = {edbt},
}

@inproceedings{OliveiraG05,
  title = {TypeCase: a design pattern for type-indexed functions},
  author = {Bruno C. d. S. Oliveira and Jeremy Gibbons},
  year = {2005},
  doi = {10.1145/1088348.1088358},
  url = {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 = {haskell},
}

@article{Gibbons99,
  title = {A Pointless Derivation of Radix Sort},
  author = {Jeremy Gibbons},
  year = {1999},
  researchr = {https://researchr.org/publication/Gibbons99},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {9},
  number = {3},
  pages = {339-346},
}

@article{MartinGB04,
  title = {Disciplined, efficient, generalised folds for nested datatypes},
  author = {Clare E. Martin and Jeremy Gibbons and Ian Bayley},
  year = {2004},
  doi = {10.1007/s00165-003-0013-6},
  url = {http://dx.doi.org/10.1007/s00165-003-0013-6},
  tags = {e-science},
  researchr = {https://researchr.org/publication/MartinGB04},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {16},
  number = {1},
  pages = {19-35},
}

@article{GibbonsN14,
  title = {Selected papers from Mathematics of Program Construction 2012},
  author = {Jeremy Gibbons and Pablo Nogueira},
  year = {2014},
  doi = {10.1016/j.scico.2013.09.004},
  url = {http://dx.doi.org/10.1016/j.scico.2013.09.004},
  researchr = {https://researchr.org/publication/GibbonsN14},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {85},
  pages = {101},
}

@article{GibbonsHA01,
  title = {When is a function a fold or an unfold?},
  author = {Jeremy Gibbons and Graham Hutton and Thorsten Altenkirch},
  year = {2001},
  url = {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 = {ENTCS},
  volume = {44},
  number = {1},
  pages = {146-160},
}

@article{OliveiraG10-0,
  title = {Scala for generic programmers},
  author = {Bruno C. d. S. Oliveira and Jeremy Gibbons},
  year = {2010},
  doi = {10.1017/S0956796810000171},
  url = {http://dx.doi.org/10.1017/S0956796810000171},
  tags = {Scala, C++},
  researchr = {https://researchr.org/publication/OliveiraG10-0},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {20},
  number = {3-4},
  pages = {303-352},
}

@inproceedings{WangGMH10,
  title = {Gradual Refinement},
  author = {Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu},
  year = {2010},
  doi = {10.1007/978-3-642-13321-3_22},
  url = {http://dx.doi.org/10.1007/978-3-642-13321-3_22},
  tags = {refinement},
  researchr = {https://researchr.org/publication/WangGMH10},
  cites = {0},
  citedby = {0},
  pages = {397-425},
  booktitle = {mpc},
}

@inproceedings{WongG09,
  title = {Property Specifications for Workflow Modelling},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2009},
  doi = {10.1007/978-3-642-00255-7_5},
  url = {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 = {IFM},
}

@inproceedings{Gibbons04,
  title = {Streaming Representation-Changers},
  author = {Jeremy Gibbons},
  year = {2004},
  url = {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 = {mpc},
}

@inproceedings{HarrisGDTC08,
  title = {Semantic technologies in electronic government},
  author = {Steve Harris and Jeremy Gibbons and Jim Davies and Andrew Tsui and Charles Crichton},
  year = {2008},
  doi = {10.1145/1509096.1509108},
  url = {http://doi.acm.org/10.1145/1509096.1509108},
  researchr = {https://researchr.org/publication/HarrisGDTC08},
  cites = {0},
  citedby = {0},
  pages = {45-51},
  booktitle = {icegov},
}

@inproceedings{DaviesHCSG08,
  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},
  doi = {10.1145/1509096.1509111},
  url = {http://doi.acm.org/10.1145/1509096.1509111},
  researchr = {https://researchr.org/publication/DaviesHCSG08},
  cites = {0},
  citedby = {0},
  pages = {67-75},
  booktitle = {icegov},
}

@inproceedings{Gibbons98,
  title = {Polytypic Downwards Accumulations},
  author = {Jeremy Gibbons},
  year = {1998},
  url = {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 = {mpc},
}

@inproceedings{Gibbons02,
  title = {Towards a Colimit-Based Semantics for Visual Programming},
  author = {Jeremy Gibbons},
  year = {2002},
  url = {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},
}

@inproceedings{Gibbons08,
  title = {Unfolding Abstract Datatypes},
  author = {Jeremy Gibbons},
  year = {2008},
  doi = {10.1007/978-3-540-70594-9_8},
  url = {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 = {mpc},
}

@article{WongG09-0,
  title = {A Relative Timed Semantics for BPMN},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2009},
  doi = {10.1016/j.entcs.2009.06.029},
  url = {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 = {ENTCS},
  volume = {229},
  number = {2},
  pages = {59-75},
}

@inproceedings{WongG08:2,
  title = {On Specifying and Visualising Long-Running Empirical Studies},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2008},
  doi = {10.1007/978-3-540-69927-9_6},
  url = {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 = {ICMT},
}

@inproceedings{OliveiraG08,
  title = {Scala for generic programmers},
  author = {Bruno C. d. S. Oliveira and Jeremy Gibbons},
  year = {2008},
  doi = {10.1145/1411318.1411323},
  url = {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 = {ICFP},
}

@inproceedings{MoorG00,
  title = {Invited Talk: Pointwise Relational Programming},
  author = {Oege de Moor and Jeremy Gibbons},
  year = {2000},
  url = {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 = {amast},
}

@inproceedings{WongG07:0,
  title = {A Process-Algebraic Approach to Workflow Specification and Refinement},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2007},
  doi = {10.1007/978-3-540-77351-1_5},
  url = {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 = {SC},
}

@article{Gibbons10,
  title = {Editorial},
  author = {Jeremy Gibbons},
  year = {2010},
  doi = {10.1017/S0956796809990256},
  url = {http://dx.doi.org/10.1017/S0956796809990256},
  researchr = {https://researchr.org/publication/Gibbons10},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {20},
  number = {1},
  pages = {1},
}

@article{PirogG13,
  title = {Monads for Behaviour},
  author = {Maciej Piróg and Jeremy Gibbons},
  year = {2013},
  doi = {10.1016/j.entcs.2013.09.019},
  url = {http://dx.doi.org/10.1016/j.entcs.2013.09.019},
  researchr = {https://researchr.org/publication/PirogG13},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {298},
  pages = {309-324},
}

@inproceedings{BirdGMVS13,
  title = {Understanding idiomatic traversals backwards and forwards},
  author = {Richard S. Bird and Jeremy Gibbons and Stefan Mehner and Tom Schrijvers and Janis Voigtländer},
  year = {2013},
  doi = {10.1145/2503778.2503781},
  url = {http://doi.acm.org/10.1145/2503778.2503781},
  researchr = {https://researchr.org/publication/BirdGMVS13},
  cites = {0},
  citedby = {0},
  pages = {25-36},
  booktitle = {haskell},
}

@article{MartinG01,
  title = {On the semantics of nested datatypes},
  author = {Clare E. Martin and Jeremy Gibbons},
  year = {2001},
  doi = {10.1016/S0020-0190(01)00168-5},
  url = {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 = {ipl},
  volume = {80},
  number = {5},
  pages = {233-238},
}

@inproceedings{Gibbons12,
  title = {Unifying Theories of Programming with Monads},
  author = {Jeremy Gibbons},
  year = {2012},
  doi = {10.1007/978-3-642-35705-3_2},
  url = {http://dx.doi.org/10.1007/978-3-642-35705-3_2},
  researchr = {https://researchr.org/publication/Gibbons12},
  cites = {0},
  citedby = {0},
  pages = {23-67},
  booktitle = {utp},
}

@article{Gibbons96,
  title = {Computing Downwards Accumulations on Trees Quickly},
  author = {Jeremy Gibbons},
  year = {1996},
  doi = {10.1016/S0304-3975(96)00114-4},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00114-4},
  researchr = {https://researchr.org/publication/Gibbons96},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {169},
  number = {1},
  pages = {67-80},
}

@article{BirdGJ89,
  title = {Formal Derivation of a Pattern Matching Algorithm},
  author = {Richard S. Bird and Jeremy Gibbons and Geraint Jones},
  year = {1989},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/BirdGJ89},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {12},
  number = {2},
  pages = {93-104},
}

@inproceedings{Gibbons95,
  title = {An Initial-Algebra Approach to Directed Acyclic Graphs},
  author = {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 = {mpc},
}

@article{HuttonG01,
  title = {The generic approximation lemma},
  author = {Graham Hutton and Jeremy Gibbons},
  year = {2001},
  doi = {10.1016/S0020-0190(00)00220-9},
  url = {http://dx.doi.org/10.1016/S0020-0190(00)00220-9},
  researchr = {https://researchr.org/publication/HuttonG01},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {79},
  number = {4},
  pages = {197-201},
}

@inproceedings{Gibbons06:0,
  title = {Fission for Program Comprehension},
  author = {Jeremy Gibbons},
  year = {2006},
  doi = {10.1007/11783596_12},
  url = {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 = {mpc},
}

@article{Gibbons96:0,
  title = {Deriving Tidy Drawings of Trees},
  author = {Jeremy Gibbons},
  year = {1996},
  researchr = {https://researchr.org/publication/Gibbons96%3A0},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {6},
  number = {3},
  pages = {535-562},
}

@inproceedings{ZangCHTKGDMC08,
  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 Z. Kwiatkowska and Jeremy Gibbons and Jim Davies and Peter Maccallum and Carlos H. Caldas},
  year = {2008},
  doi = {10.1109/CCGRID.2008.57},
  url = {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 = {ccgrid},
}

@article{WongG11,
  title = {Formalisations and applications of BPMN},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2011},
  doi = {10.1016/j.scico.2009.09.010},
  url = {http://dx.doi.org/10.1016/j.scico.2009.09.010},
  tags = {BPMN},
  researchr = {https://researchr.org/publication/WongG11},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {76},
  number = {8},
  pages = {633-650},
}

@article{GibbonsLB06,
  title = {Functional Pearl: Enumerating the rationals},
  author = {Jeremy Gibbons and David Lester and Richard S. Bird},
  year = {2006},
  doi = {10.1017/S0956796806005880},
  url = {http://dx.doi.org/10.1017/S0956796806005880},
  researchr = {https://researchr.org/publication/GibbonsLB06},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {16},
  number = {3},
  pages = {281-291},
}

@inproceedings{CrichtonDGHST09,
  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},
  doi = {10.1109/HICSS.2009.384},
  url = {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 = {hicss},
}

@article{Gibbons07,
  title = {Metamorphisms: Streaming representation-changers},
  author = {Jeremy Gibbons},
  year = {2007},
  doi = {10.1016/j.scico.2006.01.006},
  url = {http://dx.doi.org/10.1016/j.scico.2006.01.006},
  researchr = {https://researchr.org/publication/Gibbons07},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {65},
  number = {2},
  pages = {108-139},
}

@inproceedings{OliveiraWG08,
  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},
  doi = {10.1145/1449764.1449799},
  url = {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 = {OOPSLA},
}

@article{GibbonsJ12,
  title = {Relating Algebraic and Coalgebraic Descriptions of Lenses},
  author = {Jeremy Gibbons and Michael Johnson},
  year = {2012},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/726},
  researchr = {https://researchr.org/publication/GibbonsJ12},
  cites = {0},
  citedby = {0},
  journal = {eceasst},
  volume = {49},
}

@inproceedings{WongG08:1,
  title = {Verifying Business Process Compatibility (Short Paper)},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2008},
  doi = {10.1109/QSIC.2008.6},
  url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.6},
  researchr = {https://researchr.org/publication/WongG08%3A1},
  cites = {0},
  citedby = {0},
  pages = {126-131},
  booktitle = {qsic},
}

@inproceedings{WongG08,
  title = {A Process Semantics for BPMN},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2008},
  doi = {10.1007/978-3-540-88194-0_22},
  url = {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 = {icfem},
}

@inproceedings{WangGW11-2,
  title = {Incremental updates for efficient bidirectional transformations},
  author = {Meng Wang and Jeremy Gibbons and Nicolas Wu},
  year = {2011},
  doi = {10.1145/2034773.2034825},
  url = {http://doi.acm.org/10.1145/2034773.2034825},
  researchr = {https://researchr.org/publication/WangGW11-2},
  cites = {0},
  citedby = {0},
  pages = {392-403},
  booktitle = {ICFP},
}

@article{Gibbons96a,
  title = {The Third Homomorphism Theorem},
  author = {Jeremy Gibbons},
  year = {1996},
  researchr = {https://researchr.org/publication/Gibbons96a},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {6},
  number = {4},
  pages = {657-665},
}

@article{GibbonsCS94,
  title = {Efficient Parallel Algorithms for Tree Accumulations},
  author = {Jeremy Gibbons and Wentong Cai and David B. Skillicorn},
  year = {1994},
  researchr = {https://researchr.org/publication/GibbonsCS94},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {23},
  number = {1},
  pages = {1-18},
}

@inproceedings{ZangCHTCKGDBC08,
  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 Z. Kwiatkowska and Jeremy Gibbons and Jim Davies and James D. Brenton and Carlos H. Caldas},
  year = {2008},
  doi = {10.1109/eScience.2008.129},
  url = {http://doi.ieeecomputersociety.org/10.1109/eScience.2008.129},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/ZangCHTCKGDBC08},
  cites = {0},
  citedby = {0},
  pages = {406-407},
  booktitle = {eScience},
}

@inproceedings{CrichtonDGHS07,
  title = {Semantic frameworks for e-government},
  author = {Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla},
  year = {2007},
  doi = {10.1145/1328057.1328066},
  url = {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 = {icegov},
}

@inproceedings{CalinescuHGDTN07,
  title = {Model-driven architecture for cancer research},
  author = {Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies and Igor Toujilov and Sylvia B. Nagl},
  year = {2007},
  doi = {10.1109/SEFM.2007.26},
  url = {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 = {SEFM},
}

@inproceedings{Gibbons92,
  title = {Upwards and Downwards Accumulations on Trees},
  author = {Jeremy Gibbons},
  year = {1992},
  researchr = {https://researchr.org/publication/Gibbons92},
  cites = {0},
  citedby = {0},
  pages = {122-138},
  booktitle = {mpc},
}

@article{WongG11a,
  title = {Property specifications for workflow modelling},
  author = {Peter Y. H. Wong and Jeremy Gibbons},
  year = {2011},
  doi = {10.1016/j.scico.2010.09.007},
  url = {http://dx.doi.org/10.1016/j.scico.2010.09.007},
  tags = {meta-model, Meta-Environment, workflow},
  researchr = {https://researchr.org/publication/WongG11a},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {76},
  number = {10},
  pages = {942-967},
}

@inproceedings{CechichMGK08,
  title = {Interoperability frameworks for electronic governance},
  author = {Alejandra Cechich and Lorenzo Madrid and Jeremy Gibbons and Jay P. Kesan},
  year = {2008},
  doi = {10.1145/1509096.1509207},
  url = {http://doi.acm.org/10.1145/1509096.1509207},
  researchr = {https://researchr.org/publication/CechichMGK08},
  cites = {0},
  citedby = {0},
  pages = {490-491},
  booktitle = {icegov},
}

@inproceedings{HinzeWG13,
  title = {Unifying structured recursion schemes},
  author = {Ralf Hinze and Nicolas Wu and Jeremy Gibbons},
  year = {2013},
  doi = {10.1145/2500365.2500578},
  url = {http://doi.acm.org/10.1145/2500365.2500578},
  researchr = {https://researchr.org/publication/HinzeWG13},
  cites = {0},
  citedby = {0},
  pages = {209-220},
  booktitle = {ICFP},
}

@inproceedings{Gibbons06,
  title = {Design patterns as higher-order datatype-generic programs},
  author = {Jeremy Gibbons},
  year = {2006},
  doi = {10.1145/1159861.1159863},
  url = {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 = {ICFP},
}
@proceedings{ssgip-2010,
  title = {Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  year = {2012},
  doi = {10.1007/978-3-642-32202-0},
  url = {http://dx.doi.org/10.1007/978-3-642-32202-0},
  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 = {Jeremy Gibbons},
  volume = {7470},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32201-3},
}

@proceedings{ssdgp-2006,
  title = {Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  year = {2007},
  doi = {10.1007/978-3-540-76786-2},
  url = {http://dx.doi.org/10.1007/978-3-540-76786-2},
  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 = {Roland Carl Backhouse and Jeremy Gibbons and Ralf Hinze and Johan  Jeuring},
  volume = {4719},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76785-5},
}

@proceedings{acmmpc:2000,
  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 = {Roland Carl Backhouse and Roy L. Crole and Jeremy Gibbons},
  volume = {2297},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43613-8},
}

@proceedings{ifip2-1:2002,
  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 = {Jeremy Gibbons and Johan  Jeuring},
  volume = {243},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {1-4020-7374-7},
}

@proceedings{fhies-2013,
  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 = {10.1007/978-3-642-53956-5},
  url = {http://dx.doi.org/10.1007/978-3-642-53956-5},
  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 = {Jeremy Gibbons and Wendy MacCaull},
  volume = {8315},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-53955-8},
}

@proceedings{ac:2003gp,
  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 = {Roland Carl Backhouse and Jeremy Gibbons},
  volume = {2793},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20194-7},
}

@proceedings{haskell-2010,
  title = {Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010},
  year = {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 = {Jeremy Gibbons},
  publisher = {ACM},
  isbn = {978-1-4503-0252-4},
}

@proceedings{tfm-2009,
  title = {Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  year = {2009},
  doi = {10.1007/978-3-642-04912-5},
  url = {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 = {Jeremy Gibbons and José Nuno Oliveira},
  volume = {5846},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04911-8},
}

@proceedings{mpc-2012,
  title = {Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
  year = {2012},
  doi = {10.1007/978-3-642-31113-0},
  url = {http://dx.doi.org/10.1007/978-3-642-31113-0},
  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 = {Jeremy Gibbons and Pablo Nogueira},
  volume = {7342},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31112-3},
}

@proceedings{ifm:2007,
  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 = {Jim Davies and Jeremy Gibbons},
  volume = {4591},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73209-9},
}