Jeremy Gibbons : Publications
Click here to download all publications in a single bibtex file
@inproceedings{trmon,
title = "Tracing monadic computations and representing effects",
author = "Maciej Pirog and Jeremy Gibbons",
year = "2012",
booktitle = "Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia, 25 March 2012",
editor = "Chapman, James and Levy, Paul Blain",
pages = "90-111",
publisher = "Open Publishing Association",
series = "Electronic Proceedings in Theoretical Computer Science",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/trmon.pdf",
volume = "76",
doi = "10.4204/EPTCS.76.8",
}
@inproceedings{mssm,
title = "Maximum Segment Sum, Monadically (distilled tutorial)",
author = "Jeremy Gibbons",
year = "2011",
address = "Bordeaux",
booktitle = "IFIP TC2 Working Conference on Domain-Specific Languages",
editor = "Olivier Danvy and Chung-chieh Shan",
month = "September",
url = "http://arxiv.org/abs/1109.0782",
}
@inproceedings{Ko-OAOAOO,
title = "Modularising inductive families",
author = "Hsiang-Shang Ko and Jeremy Gibbons",
year = "2011",
booktitle = "Workshop on Generic Programming",
editor = "Jaakko Järvi and Shin-Cheng Mu",
month = "September",
pages = "13-24",
url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf",
}
@inproceedings{align,
title = "Incremental Updates for Efficient Bidirectional Transformations",
author = "Meng Wang and Jeremy Gibbons and Nicolas Wu",
year = "2011",
booktitle = "ICFP",
month = "September",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/align.pdf",
}
@inproceedings{mr,
title = "Just do it: Simple monadic equational reasoning",
author = "Jeremy Gibbons and Ralf Hinze",
year = "2011",
booktitle = "ICFP",
month = "September",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/mr.pdf",
}
@inproceedings{fff,
title = "Form Follows Function: Model-Driven Engineering for Clinical Trials",
author = "Jim Davies and Jeremy Gibbons and Radu Calinescu and Charles Crichton and Steve Harris and Andrew Tsui",
year = "2011",
booktitle = "International Symposium on Foundations of Health Information Engineering and Systems",
month = "August",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf",
}
@unpublished{backwards,
title = "Effective Reasoning about Effectful Traversals",
author = "Jeremy Gibbons and Richard Bird",
year = "2011",
month = "March",
note = "Submitted for publication",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/backwards.pdf",
}
@unpublished{colens,
title = "Lenses, coalgebraically: View updates through the looking glass",
author = "Jeremy Gibbons and Mike Johnson",
year = "2011",
journal = "Submitted for publication",
month = "December",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/colens.pdf",
}
@article{refactoringpm,
title = "Refactoring Pattern Matching",
author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
year = "2011",
journal = "Science of Computer Programming",
month = "January",
note = "Revised version of the MPC2010 paper "Gradual Refinement"",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/refactoringpm.pdf",
}
@article{wam,
title = "A Functional Derivation of the Warren Abstract Machine",
author = "Maciej Pirog and Jeremy Gibbons",
year = "2011",
note = "Submitted for publication",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wam.pdf",
}
@article{bpmn09,
title = "Formalisations and Applications of BPMN",
author = "Peter Y.H. Wong and Jeremy Gibbons",
year = "2011",
journal = "Science of Computer Programming",
note = "Special issue on FOCLASA 2008",
pages = "633-650",
volume = "76",
doi = "10.1016/j.scico.2009.09.010",
}
@article{hodgp-journal,
title = "Design Patterns as Higher-Order Datatype-Generic Programs",
author = "Jeremy Gibbons",
year = "2010",
note = "Submitted for publication; revised version of the WGP2006 paper",
pages = "36",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp-journal.pdf",
}
@article{ifmextend,
title = "Property Specifications for Workflow Modelling",
author = "Peter Y.H. Wong and Jeremy Gibbons",
year = "2010",
journal = "Science of Computer Programming",
note = "Extended version. To appear.",
doi = "10.1016/j.scico.2010.09.007",
}
@article{scala-jfp,
title = "Scala for Generic Programmers",
author = "Bruno C. d. S. Oliveira and Jeremy Gibbons",
year = "2010",
journal = "Journal of Functional Programming",
note = "Revised version of the WGP2008 paper",
number = "3,4",
pages = "303-352",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp-jfp.pdf",
volume = "20",
doi = "10.1017/S0956796810000171",
}
@inproceedings{Davies&Gibbons2010:Semantic,
title = "Semantic Frameworks: Meanings in the Architecture",
author = "Jim Davies and Jeremy Gibbons",
year = "2010",
booktitle = "Distributed Computing and Internet Technology",
pages = "40-54",
series = "LNCS",
volume = "5966",
doi = "10.1007/978-3-642-11659-9_4",
}
@conference{mpc10,
title = "Gradual Refinement: Blending Pattern Matching with Data Abstraction",
author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
year = "2010",
booktitle = "Mathematics of Program Construction",
editor = "Jules Desharnais",
note = "See revised journal version "Refactoring Pattern Matching"",
series = "LNCS",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gradual.pdf",
volume = "6120",
doi = "10.1007/978-3-642-13321-3_22",
}
@misc{imagescorer,
title = "Deep Zoom and Touch Screen for Tissue Microarray Image Scoring",
author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Andrew Tsui and James Brenton and Carlos Caldas and Lorna Morris",
year = "2010",
howpublished = "Poster at Microsoft External Research Symposium",
}
@inproceedings{Gibbons&Paterson2009:Parametric,
title = "Parametric Datatype-Genericity",
author = "Jeremy Gibbons and Ross Paterson",
year = "2009",
address = "Edinburgh",
booktitle = "Workshop on Generic Programming",
month = "August",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/parametric.pdf",
}
@article{Davies&Gibbons2009:Formal,
title = "Formal Methods for Future Interoperability",
author = "Jim Davies and Jeremy Gibbons",
year = "2009",
journal = "ACM Inroads",
month = "June",
note = "A revised version of "Formal Methods for Electronic Government" (FMET, 2008)",
number = "2",
pages = "60-64",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fmfi.pdf",
volume = "41",
}
@article{Crichton*2009:Model,
title = "Metadata-Driven Software for Clinical Trials",
author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Andrew Tsui and James Brenton",
year = "2009",
booktitle = "ICSE Workshop on Software Engineering and Health Care",
month = "May",
url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/consort.pdf",
}
@inproceedings{pattern,
title = "Property Specifications for Workflow Modelling",
author = "Peter Y.H. Wong and Jeremy Gibbons",
year = "2009",
booktitle = "Proceedings of 7th International Conference on Integrated Formal Methods",
month = "February",
note = "Invited for special issue in Science of Computer Programming. Technical report version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf}",
series = "LNCS",
volume = "5423",
doi = "10.1007/978-3-642-00255-7_5",
}
@inproceedings{Davies*2009:Kathmandu,
title = "Model-Driven Support for a Vaccine Study in Kathmandu",
author = "Jim Davies and Jeremy Gibbons and Steve Harris and Jane Metz and Andrew J. Pollard and Matthew Snape",
year = "2009",
booktitle = "Microsoft eScience Workshop",
month = "October",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf",
}
@inproceedings{Crichton*2009:Semantics,
title = "Semantics-Driven Development for Electronic Government Applications",
author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla and Andrew Tsui",
year = "2009",
address = "Hawaii",
booktitle = "HICSS (Electronic Government Track)",
month = "January",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hicss-sdd.pdf",
}
@article{Gibbons2009:Pearls,
title = "Functional Pearls (editorial)",
author = "Jeremy Gibbons",
year = "2009",
journal = "Journal of Functional Programming",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/pearls.pdf",
}
@article{Gibbons&Oliveira2008:Essence,
title = "The Essence of the Iterator Pattern",
author = "Jeremy Gibbons and Bruno César dos Santos Oliveira",
year = "2009",
journal = "Journal of Functional Programming",
note = "Revised version of \cite{Gibbons&Oliveira2006:Essence}",
number = "3&4",
pages = "377-402",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf",
volume = "19",
doi = "10.1017/S0956796809007291",
}
@conference{bidi,
title = "Translucent Abstraction: Safe Views through Invertible Programming (Extended version)",
author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda",
year = "2009",
}
@proceedings{Gibbons&Oliveira2009:Teaching,
title = "Teaching Formal Methods",
author = "Jeremy Gibbons and José Nuno Oliveira (eds)",
year = "2009",
booktitle = "Teaching Formal Methods",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/tfm2009-preface.pdf",
volume = "5846",
doi = "10.1007/978-3-642-04912-5",
}
@inproceedings{Wong&Gibbons2008:Process,
title = "A Process Semantics for BPMN",
author = "Peter Wong and Jeremy Gibbons",
year = "2008",
address = "Kitakyushu, Japan",
booktitle = "International Conference on Formal Engineering Methods",
month = "September",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/bpmn-csp.pdf",
}
@inproceedings{Oliveira&Gibbons2008:Scala,
title = "Scala for Generic Programmers",
author = "Bruno Oliveira and Jeremy Gibbons",
year = "2008",
address = "Victoria, BC",
booktitle = "Workshop on Generic Programming",
editor = "Ralf Hinze",
month = "Sep",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp.pdf",
}
@inproceedings{Smith&Gibbons2008:Unifying,
title = "Unifying Theories of Locations",
author = "Michael Anthony Smith and Jeremy Gibbons",
year = "2008",
address = "Dublin",
booktitle = "Unifying Theories of Programming",
editor = "Andrew Butterfield",
month = "Sep",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/utl.pdf",
}
@inproceedings{qsic2008,
title = "{Verifying Business Process Compatibility}",
author = "Peter Y.H. Wong and Jeremy Gibbons",
year = "2008",
booktitle = "Proceedings of 8th International Conference on Quality Software.",
month = "August",
note = "Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing, June 2007",
pages = "126-131",
publisher = "IEEE Computer Society",
url = "http://www.comlab.ox.ac.uk/peter.wong/pub/qsic2008.pdf",
doi = "10.1109/QSIC.2008.6",
}
@inproceedings{transform,
title = "{On Specifying and Visualising Long-Running Empirical Studies.}",
author = "Peter Y.H. Wong and Jeremy Gibbons",
year = "2008",
booktitle = "Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations)",
month = "July",
note = "Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf}.",
series = "LNCS",
url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/icmt2008.pdf",
volume = "5063",
doi = "10.1007/978-3-540-69927-9_6",
}
@inproceedings{bpmn-time,
title = "{A Relative Timed Semantics for BPMN}",
author = "Peter Y.H. Wong and Jeremy Gibbons",
year = "2008",
booktitle = "Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.",
month = "July",
note = "Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing, London, United Kingdom, June 2008. Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf}.",
series = "ENTCS",
url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/foclasa2008.pdf",
volume = "229",
doi = "10.1016/j.entcs.2009.06.029",
}
@inproceedings{Wong&Gibbons2008:Relative,
title = "A Relative Timed Semantics for BPMN",
author = "Peter Wong and Jeremy Gibbons",
year = "2008",
address = "Zurich",
booktitle = "Foundations of Coordination Languages and Software Architectures (FOCLASA)",
month = "July",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/relative.pdf",
}
@inproceedings{Gibbons2008:Unfolding,
title = "Unfolding Abstract Datatypes",
author = "Jeremy Gibbons",
year = "2008",
booktitle = "Mathematics of Program Construction",
month = "jul",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/adt.pdf",
}
@inproceedings{ICEGOV2008STEG,
title = "Semantic Technologies in Electronic Government",
author = "Steve Harris and Jeremy Gibbons and Jim Davies and Andrew Tsui and Charles Crichton",
year = "2008",
address = "Cairo",
booktitle = "ICEGOV 2008",
editor = "Tomasz Janowski and Teresa Pardo",
month = "December",
pages = "45 -- 51",
publisher = "ACM Press",
url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf",
}
@inproceedings{Davies*2008:Metadata,
title = "Metadata Standards for Semantic Interoperability in Electronic Government",
author = "Jim Davies and Steve Harris and Charles Crichton and Aadya Shukla and Jeremy Gibbons",
year = "2008",
address = "Cairo",
booktitle = "International Conference on Theory and Practice of Electronic Governance",
month = "December",
note = "Received a Best Paper Award",
url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/metadata-egov.pdf",
}
@inproceedings{Brenton*2008:Accelerating,
title = "Accelerating Cancer Research Using Semantics-Driven Technology",
author = "James Brenton and Jim Davies and Jeremy Gibbons and Steve Harris",
year = "2008",
address = "Indianapolis, IN",
booktitle = "Microsoft eScience Workshop",
month = "December",
url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/accelerating.pdf",
}
@inproceedings{bpmn-csp,
title = "{A Process Semantics for BPMN}",
author = "Peter Y.H. Wong and Jeremy Gibbons",
year = "2008",
booktitle = "Proceedings of 10th International Conference on Formal Engineering Methods.",
month = "October",
note = "Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf}.",
series = "LNCS",
volume = "5256",
doi = "10.1007/978-3-540-88194-0_22",
}
@inproceedings{Davies&Gibbons2008:Formal,
title = "Formal Methods for Electronic Government",
author = "Jim Davies and Jeremy Gibbons",
year = "2008",
address = "Kitakyushu, Japan",
booktitle = "Workshop on Formal Methods Education and Training at ICFEM",
month = "October",
url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/fmegov.pdf",
}
@inproceedings{icegov2008interoperability,
title = "Interoperability Frameworks for Electronic Governance",
author = "Cechich, Alejandra and Madrid, Lorenzo and Gibbons, Jeremy and Kesan, Jay",
year = "2008",
address = "Cairo, Egypt",
booktitle = "Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance",
pages = "490--491",
publisher = "ACM",
url = "http://doi.acm.org/10.1145/1509096.1509207",
}
@inproceedings{Davies*2008:Evolving,
title = "Evolving Health Informatics: Semantic Frameworks and Metadata-Driven Architectures",
author = "Jim Davies and Jeremy Gibbons and Steve Harris and Denise Warzel",
year = "2008",
address = "Indianapolis, IN",
booktitle = "Microsoft eScience Workshop",
url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/evolving.pdf",
}
@inproceedings{Zang*2008:Model,
title = "Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research",
author = "Tianyi Zang and Radu Calinescu and Steve Harris and Andrew Tsui and Charles Crichton and Marta Kwiatkowska and Jeremy Gibbons and Jim Davies and Carlos Caldas",
year = "2008",
booktitle = "IEEE eScience Conference",
howpublished = "Poster",
}
@inproceedings{Zang*2008:WSRF,
title = "WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research",
author = "Tianyi Zang and Radu Calinescu and Steve Harris and Andrew Tsui and Marta Kwiatkowska and Jeremy Gibbons and Jim Davies and Peter Maccallum and Carlos Caldas",
year = "2008",
booktitle = "8th IEEE International Symposium on Cluster Computing (CCGrid)",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wsrfmodeling.pdf",
}
@inproceedings{Wong&Gibbons2008:Verifying,
title = "Verifying Business Process Compatibility",
author = "Peter Wong and Jeremy Gibbons",
year = "2008",
booktitle = "8th International Conference on Quality Software (QSIC)",
note = "Earlier versions of this paper were presented at the 2nd European Young Researchers Workshop on Service Oriented Computing, Leicester, United Kingdom, June 2007, and 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'07), Paphos, Cyprus, June 2007",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/compatibility.pdf",
}
@inproceedings{Wong&Gibbons2008:Specifying,
title = "On Specifying and Visualising Long-Running Empirical Studies",
author = "Peter Y. H. Wong and Jeremy Gibbons",
year = "2008",
booktitle = "International Conference on Model Transformations (ICMT)",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/longrunning.pdf",
}
@inproceedings{Oliveira*2008:Visitor,
title = "The Visitor Pattern as a Reusable, Generic, Type-Safe Component",
author = "Bruno C. d. S. Oliveira and Meng Wang and Jeremy Gibbons",
year = "2008",
booktitle = "Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/visitor.pdf",
}
@inproceedings{Calinescu*2007:Model,
title = "Model-Driven Architecture for Cancer Research",
author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies and Igor Toujilov and Sylvia Nagl",
year = "2007",
booktitle = "Software Engineering and Formal Methods",
month = "sep",
pages = "59-68",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cgmda.pdf",
doi = "10.1109/SEFM.2007.26",
}
@inproceedings{workflow,
title = "{A Process-Algebraic Approach to Workflow Specification and Refinement}",
author = "Peter Y. H. Wong and Jeremy Gibbons",
year = "2007",
booktitle = "Proceedings of 6th International Symposium on Software Composition",
month = "March",
series = "LNCS",
url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf",
volume = "4829",
doi = "10.1007/978-3-540-77351-1_5",
}
@inproceedings{DBLP:conf/icegov/CrichtonDGHS07,
title = "Semantic Frameworks for e-Government",
author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla",
year = "2007",
booktitle = "First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007",
editor = "Theresa Pardo and Tomasz Janowski",
month = "dec",
pages = "30--39",
publisher = "ACM",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/sf-egov.pdf",
doi = "10.1145/1328057.1328066",
}
@unpublished{Gibbons2007:Commercial,
title = "Report on Fourth Workshop on Commercial Users of Functional Programming",
author = "Jeremy Gibbons",
year = "2007",
month = "December",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cufp2007.pdf",
}
@inbook{CalEtAl2007,
title = "Cross-Trial Query System for Cancer Clinical Trials",
author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies",
year = "2007",
booktitle = "Innovations and Advanced Techniques in Computer and Information Sciences and Engineering",
editor = "Tarek Sobh",
pages = "385--390",
publisher = "Springer",
}
@article{Gibbons2005:Metamorphisms,
title = "Metamorphisms: Streaming Representation-Changers",
author = "Jeremy Gibbons",
year = "2007",
journal = "Science of Computer Programming",
number = "2",
pages = "108-139",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-scp.pdf",
volume = "65",
doi = "10.1016/j.scico.2006.01.006",
}
@inproceedings{Wong&Gibbons2007:ProcessAlgebraic,
title = "A Process-Algebraic Approach to Workflow Specification and Refinement",
author = "Peter Y. H. Wong and Jeremy Gibbons",
year = "2007",
booktitle = "Software Composition",
url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf",
}
@inproceedings{Gibbons*2007:Generic,
title = "Generic and Indexed Programming",
author = "Jeremy Gibbons and Meng Wang and Bruno Cesar dos Santos Oliveira",
year = "2007",
booktitle = "Trends in Functional Programming",
editor = "Marco Morazan",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gip.pdf",
}
@inproceedings{Gibbons2007:Datatype,
title = "Datatype-Generic Programming",
author = "Jeremy Gibbons",
year = "2007",
booktitle = "Spring School on Datatype-Generic Programming",
editor = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf",
volume = "4719",
}
@inproceedings{Smith&Gibbons2007:Unifying,
title = "Unifying Theories of Objects",
author = "Michael Anthony Smith and Jeremy Gibbons",
year = "2007",
booktitle = "Integrated Formal Methods",
editor = "Jim Davies and Jeremy Gibbons",
pages = "599-618",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/uto.pdf",
volume = "4591",
}
@proceedings{Backhouse*2007:Datatype,
title = "Spring School on Datatype-Generic Programming",
year = "2007",
booktitle = "Spring School on Datatype-Generic Programming",
editor = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/ssdgp-preface.pdf",
volume = "4719",
}
@proceedings{Davies&Gibbons2007:Integrated,
title = "Integrated Formal Methods",
year = "2007",
booktitle = "Integrated Formal Methods",
editor = "Jim Davies and Jeremy Gibbons",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/ifm2007-preface.pdf",
volume = "4591",
}
@inproceedings{Gibbons2006:Design,
title = "Design Patterns as Higher-Order Datatype-Generic Programs",
author = "Jeremy Gibbons",
year = "2006",
booktitle = "Workshop on Generic Programming",
editor = "Ralf Hinze",
month = "sep",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp.pdf",
}
@inproceedings{Calinescu*2006:Cross,
title = "Cross-Trial Query System for Cancer Clinical Trials",
author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies",
year = "2006",
booktitle = "International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE)",
month = "dec",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/crosstrial.pdf",
}
@inproceedings{Danielsson*2006:Fast,
title = "Fast and Loose Reasoning is Morally Correct",
author = "Nils Anders Danielsson and Jeremy Gibbons and John Hughes and Patrik Jansson",
year = "2006",
booktitle = "Principles of Programming Languages",
month = "jan",
pages = "206-217",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/fast+loose.pdf",
}
@article{Gibbons*2006:Enumerating,
title = "Enumerating the Rationals",
author = "Jeremy Gibbons and David Lester and Richard Bird",
year = "2006",
journal = "Journal of Functional Programming",
number = "4",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/rationals.pdf",
volume = "16",
}
@article{Gibbons2006:Spigot,
title = "An Unbounded Spigot Algorithm for the Digits of $\pi$",
author = "Jeremy Gibbons",
year = "2006",
journal = "American Mathematical Monthly",
number = "4",
pages = "318-328",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/spigot.pdf",
volume = "113",
}
@inproceedings{Gibbons2006:Fission,
title = "Fission for Program Comprehension",
author = "Jeremy Gibbons",
year = "2006",
booktitle = "Mathematics of Program Construction",
editor = "Tarmo Uustalu",
pages = "162-179",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fission.pdf",
volume = "4014",
}
@inproceedings{Gibbons&Oliveira2006:Essence,
title = "The Essence of the Iterator Pattern",
author = "Jeremy Gibbons and Bruno C\'esar dos Santos Oliveira",
year = "2006",
booktitle = "Mathematically-Structured Functional Programming",
editor = "Conor McBride and Tarmo Uustalu",
note = "Superseded by \cite{Gibbons&Oliveira2008:Essence}",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf",
}
@inproceedings{Gibbons2005:DesignECOOP,
title = "Design Patterns as Higher-Order Datatype-Generic Programs",
author = "Jeremy Gibbons",
year = "2005",
address = "Glasgow",
booktitle = "European Conference on Object-Oriented Programming",
month = "jul",
note = "Later version appears as \cite{Gibbons2005:DesignOOPSLA}",
url = "http://2005.ecoop.org/8.html",
}
@inproceedings{Gibbons2005:DesignOOPSLA,
title = "Design Patterns as Higher-Order Datatype-Generic Programs",
author = "Jeremy Gibbons",
year = "2005",
address = "San Diego",
booktitle = "Object-Oriented Programming: Systems, Languages, Applications",
month = "oct",
note = "A revision of \cite{Gibbons2005:DesignECOOP}",
url = "http://www.oopsla.org/2005/ShowEvent.do?id=121",
}
@article{Gibbons&Hutton2005:Proof,
title = "Proof Methods for Corecursive Programs",
author = "Jeremy Gibbons and Graham Hutton",
year = "2005",
journal = "Fundamenta Informaticae",
month = "April/May",
number = "4",
pages = "353-366",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/corecursive.pdf",
volume = "66",
}
@inproceedings{Oliveira&Gibbons2005:TypeCase,
title = "TypeCase: A Design Pattern for Type-Indexed Functions",
author = "Bruno C\'esar dos Santos Oliveira and Jeremy Gibbons",
year = "2005",
booktitle = "Haskell Workshop",
editor = "Daan Leijen",
pages = "98-109",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf",
}
@inproceedings{Gibbons2004:Streaming,
title = "Streaming Representation-Changers",
author = "Jeremy Gibbons",
year = "2004",
booktitle = "Mathematics of Program Construction",
editor = "Dexter Kozen",
month = "jul",
note = "\url{http://www.springerlink.com/index/LHQ73WU5GU686976}",
pages = "142-168",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-mpc.pdf",
volume = "3125",
}
@article{Martin*2004:Disciplined,
title = "Disciplined, efficient, generalised folds for nested datatypes",
author = "Clare Martin and Jeremy Gibbons and Ian Bayley",
year = "2004",
journal = "Formal Aspects of Computing",
number = "1",
pages = "19-35",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/efolds.pdf",
volume = "16",
}
@book{Backhouse&Gibbons2003:Summer,
title = "Summer School on Generic Programming",
year = "2003",
booktitle = "Summer School on Generic Programming",
editor = "Roland Backhouse and Jeremy Gibbons",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssgp-toc.pdf",
volume = "2793",
}
@book{Gibbons&deMoor2003:Fun,
title = "The Fun of Programming",
year = "2003",
booktitle = "The Fun of Programming",
editor = "Jeremy Gibbons and Oege de Moor",
isbn = "0-3339-9285-7",
note = "Hardback ISBN: 1-4039-0772-2",
publisher = "Palgrave",
series = "Cornerstones in Computing",
}
@inproceedings{Simpson*2002:Supervision,
title = "On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects",
author = "Andrew Simpson and Andrew Martin and Jeremy Gibbons and Jim Davies and Steve McKeever",
year = "2003",
booktitle = "International Conference on Software Engineering",
pages = "628-633",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/softeng-projects.pdf",
}
@inproceedings{Bird&Gibbons2003:Arithmetic,
title = "Arithmetic Coding with Folds and Unfolds",
author = "Richard Bird and Jeremy Gibbons",
year = "2003",
booktitle = "Advanced Functional Programming 4",
editor = "Johan Jeuring and Peyton Jones, Simon",
note = "Code available at \url{http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip}",
pages = "1-26",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.pdf",
volume = "2638",
}
@inproceedings{Gibbons2003:Patterns,
title = "Patterns in Datatype-Generic Programming",
author = "Jeremy Gibbons",
year = "2003",
booktitle = "Multiparadigm Programming",
editor = "J{\"o}rg Striegnitz and Kei Davis",
isbn = "3-00-016005-1",
note = "First International Workshop on Declarative Programming in the Context of Object-Oriented Languages (DPCOOL)",
pages = "277-289",
publisher = "John von {N}eumann Institute for Computing (NIC)",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/patterns.pdf",
volume = "27",
}
@proceedings{Gibbons&Jeuring2003:Generic,
title = "Generic Programming",
year = "2003",
booktitle = "Generic Programming",
editor = "Jeremy Gibbons and Johan Jeuring",
isbn = "1-4020-7374-7",
note = "Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schlo\ss{} Dagstuhl, July 2002. ISBN 1-4020-7374-7.",
publisher = "Kluwer Academic Publishers",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/wcgp-preface.pdf",
}
@incollection{Gibbons2003:Origami,
title = "Origami Programming",
author = "Jeremy Gibbons",
year = "2003",
booktitle = "The Fun of Programming",
editor = "Jeremy Gibbons and Oege de Moor",
isbn = "1-4039-0772-2",
pages = "41-60",
publisher = "Palgrave",
series = "Cornerstones in Computing",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/origami.pdf",
}
@inproceedings{Gibbons2002:Superposition,
title = "Towards a Colimit-Based Semantics for Visual Programming",
author = "Jeremy Gibbons",
year = "2002",
booktitle = "Coordination Models and Languages",
month = "apr",
pages = "166--173",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/superposition-extended.pdf",
volume = "2315",
}
@book{Backhouse*2002:Algebraic,
title = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
year = "2002",
booktitle = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
editor = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
isbn = "3540436138",
issn = "0302-9743",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-toc.pdf",
volume = "2297",
}
@incollection{Bird*2002:Optimization,
title = "Algebraic Methods for Optimization Problems",
author = "Richard Bird and Jeremy Gibbons and Shin Cheng Mu",
year = "2002",
booktitle = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
editor = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
issn = "0302-9743",
pages = "281--307",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-optimization.pdf",
volume = "2297",
}
@incollection{Gibbons2002:Calculating,
title = "Calculating Functional Programs",
author = "Jeremy Gibbons",
year = "2002",
booktitle = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
editor = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
issn = "0302-9743",
pages = "148--203",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-calcfp.pdf",
volume = "2297",
}
@article{Hutton&Gibbons00:Generic,
title = "The Generic Approximation Lemma",
author = "Graham Hutton and Jeremy Gibbons",
year = "2001",
journal = "Information Processing Letters",
month = "aug",
number = "4",
pages = "197--201",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/approx.ps.gz",
volume = "79",
}
@article{Gibbons*2001:When,
title = "When is a Function a Fold or an Unfold?",
author = "Jeremy Gibbons and Graham Hutton and Thorsten Altenkirch",
year = "2001",
journal = "Electronic Notes in Theoretical Computer Science",
month = "apr",
note = "Proceedings of Coalgebraic Methods in Computer Science",
number = "1",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/kernels.ps.gz",
volume = "44",
}
@article{Martin&Gibbons2001:Semantics,
title = "On the Semantics of Nested Datatypes",
author = "Clare Martin and Jeremy Gibbons",
year = "2001",
journal = "Information Processing Letters",
month = "dec",
number = "5",
pages = "233--238",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/semantics.ps.gz",
volume = "80",
}
@inproceedings{deMoor&Gibbons00:Pointwise,
title = "Pointwise Relational Programming",
author = "Oege de Moor and Jeremy Gibbons",
year = "2000",
booktitle = "Algebraic Methodology and Software Technology",
month = "may",
pages = "371--390",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/pointwise.ps.gz",
volume = "1816",
}
@article{Gibbons2000:Generic,
title = "Generic Downwards Accumulations",
author = "Jeremy Gibbons",
year = "2000",
journal = "Science of Computer Programming",
pages = "37--65",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/genda.ps.gz",
volume = "37",
}
@inproceedings{Bird*99:Program,
title = "Program Optimisation, Naturally",
author = "Richard Bird and Jeremy Gibbons and Geraint Jones",
year = "2000",
booktitle = "Millenial Perspectives in Computer Science",
editor = "J. W. Davies and A. W. Roscoe and J. C. P. Woodcock",
publisher = "Palgrave",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/naturally.ps.gz",
}
@unpublished{Gibbons99:Lecture,
title = "Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs",
author = "Jeremy Gibbons",
year = "1999",
annote = "Functional programs are merely equations; they may be calculated by straightforward equational reasoning. Many useful theorems for such reasoning derive from an \emph{algebraic} view of programs, built around datatypes and their operations. Traditional algebraic methods concentrate on initial algebras, constructors, and values; dual, co-algebraic, methods concentrate on final co-algebras, destructors, and processes. Both methods are elegant and powerful; they deserve to be combined.",
month = "mar",
note = "Estonian Winter School on Computer Science",
}
@article{Gibbons99:Pointless,
title = "A Pointless Derivation of Radixsort",
author = "Jeremy Gibbons",
year = "1999",
journal = "Journal of Functional Programming",
number = "3",
pages = "339--346",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/radix.ps.gz",
volume = "9",
}
@article{deMoor&Gibbons99:Bridging,
title = "Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting",
author = "Oege de Moor and Jeremy Gibbons",
year = "1999",
journal = "Science of Computer Programming",
number = "1",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/bridging.ps.gz",
volume = "35",
}
@inproceedings{Gibbons&Hutton99:Proof,
title = "Proof Methods for Structured Corecursive Programs",
author = "Jeremy Gibbons and Graham Hutton",
year = "1999",
booktitle = "Proceedings of 1st Scottish Workshop on Functional Programming",
}
@inproceedings{Gibbons&Jones98:Underappreciated,
title = "The Under-Appreciated Unfold",
author = "Jeremy Gibbons and Geraint Jones",
year = "1998",
address = "Baltimore, Maryland",
booktitle = "International Conference on Functional Programming",
month = "sep",
pages = "273--279",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/unfold.ps.gz",
}
@inproceedings{Gibbons98:Polytypic,
title = "Polytypic Downwards Accumulations",
author = "Jeremy Gibbons",
year = "1998",
address = "Marstrand, Sweden",
booktitle = "Proceedings of Mathematics of Program Construction",
editor = "Johan Jeuring",
month = "jun",
pages = "207-233",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/polyda.ps.gz",
volume = "1422",
}
@article{Gibbons98:Structured,
title = "Structured Programming in Java",
author = "Jeremy Gibbons",
year = "1998",
journal = "SIGPLAN Notices",
month = "apr",
note = "Also in Fintan Culwin, editor, \emph{Proceedings of the Second Conference on Java in the Computing Curriculum}, South Bank University, London",
number = "4",
pages = "40--43",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/spjava.ps.gz",
volume = "33",
}
@unpublished{Gibbons&Jones98:Against,
title = "Against the Grain: Linear-Time Breadth-First Tree Algorithms",
author = "Jeremy Gibbons and Geraint Jones",
year = "1998",
note = "Oxford Brookes University and Oxford University Computing Laboratory",
}
@inproceedings{Gibbons97:Calculating,
title = "Calculating Functional Programs",
author = "Jeremy Gibbons",
year = "1997",
booktitle = "Proceedings of ISRG/SERG Research Colloquium",
editor = "Keiichi Nakata",
month = "nov",
note = "Technical Report CMS-TR-98-01",
organization = "School of Computing and Mathematical Sciences, Oxford Brookes University",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/calculating.ps.gz",
}
@techreport{Gibbons97:More,
title = "More on Merging and Selection",
author = "Jeremy Gibbons",
year = "1997",
institution = "School of Computing and Mathematical Sciences, Oxford Brookes University",
month = "oct",
number = "CMS-TR-97-08",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/merging.ps.gz",
}
@techreport{Gibbons97:Conditionals,
title = "Conditionals in Distributive Categories",
author = "Jeremy Gibbons",
year = "1997",
institution = "School of Computing and Mathematical Sciences, Oxford Brookes University",
month = "jan",
number = "CMS-TR-97-01",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/conditionals.ps.gz",
}
@inproceedings{Gibbons&Wansbrough96:Tracing,
title = "Tracing Lazy Functional Languages",
author = "Jeremy Gibbons and Keith Wansbrough",
year = "1996",
address = "Melbourne",
booktitle = "Computing: The Australasian Theory Seminar",
editor = "Michael E. Houle and Peter Eades",
month = "jan",
pages = "11--20",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/tracing.ps.gz",
}
@article{Gibbons96:Computing,
title = "Computing Downwards Accumulations on Trees Quickly",
author = "Jeremy Gibbons",
year = "1996",
journal = "Theoretical Computer Science",
note = "Earlier version appeared in Proceedings of the 16th Australian Computer Science Conference, Brisbane, 1993",
number = "1",
pages = "67--80",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/quickly.ps.gz",
volume = "169",
}
@article{Gibbons96:Deriving,
title = "Deriving Tidy Drawings of Trees",
author = "Jeremy Gibbons",
year = "1996",
journal = "Journal of Functional Programming",
number = "3",
pages = "535--562",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/drawing.ps.gz",
volume = "6",
}
@article{Gibbons96:Third,
title = "The Third Homomorphism Theorem",
author = "Jeremy Gibbons",
year = "1996",
journal = "Journal of Functional Programming",
note = "Earlier version appeared in C.\,B.\,Jay, editor, {\it Computing: The Australian Theory Seminar}, Sydney, December~1994, p.\,62--69",
number = "4",
pages = "657--665",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/thirdht.ps.gz",
volume = "6",
}
@proceedings{Bridges*96:Combinatorics,
title = "Combinatorics, Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science",
year = "1996",
address = "Singapore",
editor = "Douglas Bridges and Cris Calude and Jeremy Gibbons and Steve Reeves and Ian Witten",
publisher = "Springer-Verlag",
}
@inproceedings{Gibbons95:Initial,
title = "An Initial-Algebra Approach to Directed Acyclic Graphs",
author = "Jeremy Gibbons",
year = "1995",
booktitle = "Mathematics of Program Construction",
editor = "Bernhard M{\"o}ller",
pages = "282--303",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/damgs.ps.gz",
volume = "947",
}
@inproceedings{Gibbons95:Dotted,
title = "Dotted and Dashed Lines in Metafont",
author = "Jeremy Gibbons",
year = "1995",
booktitle = "Proceedings of the 1995 Annual Meeting",
editor = "Robin Fairbairns",
organization = "\TeX{} Users' Group",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/dashed.ps.gz",
}
@inproceedings{Gibbons94:Introduction,
title = "An Introduction to the Bird-Meertens Formalism",
author = "Jeremy Gibbons",
year = "1994",
address = "Hamilton",
booktitle = "Proceedings of the First New Zealand Formal Program Development Colloquium",
editor = "Steve Reeves",
month = "nov",
pages = "1--12",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-squiggol.ps.gz",
}
@article{Gibbons*94:Efficient,
title = "Efficient Parallel Algorithms for Tree Accumulations",
author = "Jeremy Gibbons and Wentong Cai and David Skillicorn",
year = "1994",
journal = "Science of Computer Programming",
pages = "1--18",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/efficient.ps.gz",
volume = "23",
}
@inproceedings{Gibbons94:How,
title = "How to Derive Tidy Drawings of Trees",
author = "Jeremy Gibbons",
year = "1994",
address = "Department of Computer Science, University of Auckland",
annote = "Condensed version of \cite{Gibbons93:Deriving}",
booktitle = "Proceedings of Salodays in Auckland",
editor = "C. Calude and M. J. J. Lennon and H. Maurer",
note = "Also in Proceedings of First New Zealand Formal Program Development Colloquium, p.\,105--126.",
pages = "53--73",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-drawing.ps.gz",
}
@techreport{Jones&Gibbons93:Linear,
title = "Linear-time Breadth-first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips",
author = "Geraint Jones and Jeremy Gibbons",
year = "1993",
institution = "Dept of Computer Science, University of Auckland",
month = "may",
note = "Also IFIP Working Group 2.1 working paper 705~WIN-2",
number = "No.\,71",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/linear.ps.gz",
}
@inproceedings{Gibbons93:Computing,
title = "Computing Downwards Accumulations on Trees Quickly",
author = "Jeremy Gibbons",
year = "1993",
address = "Brisbane",
booktitle = "16th Australian Computer Science Conference",
editor = "Gopal Gupta and George Mohay and Rodney Topor",
month = "feb",
pages = "685--691",
}
@inproceedings{Gibbons93:Upwards,
title = "Upwards and Downwards Accumulations on Trees",
author = "Jeremy Gibbons",
year = "1993",
booktitle = "Mathematics of Program Construction",
editor = "R.~S. Bird and C.~C. Morgan and J.~C.~P. Woodcock",
note = "A revised version appears in the Proceedings of the Massey Functional Programming Workshop, 1992",
pages = "122--138",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/accumulations.ps.gz",
volume = "669",
}
@inproceedings{Gibbons93:Formal,
title = "Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit",
author = "Jeremy Gibbons",
year = "1993",
booktitle = "Proceedings of the 13th New Zealand Computer Society Conference",
editor = "John Hosking",
pages = "207--217",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/formal.ps.gz",
}
@phdthesis{Gibbons91:Algebras,
title = "Algebras for Tree Algorithms",
author = "Jeremy Gibbons",
year = "1991",
note = "Available as Technical Monograph PRG-94. ISBN 0-902928-72-4",
school = "Programming Research Group, Oxford University",
url = "http://www.cs.ox.ac.uk/files/3422/PRG94.pdf",
}
@article{Bird*89:KMP,
title = "Formal Derivation of a Pattern Matching Algorithm",
author = "Richard S. Bird and Jeremy Gibbons and Geraint Jones",
year = "1989",
journal = "Science of Computer Programming",
month = "jul",
number = "2",
pages = "93--104",
url = "http://dx.doi.org/10.1016/0167-6423(89)90036-1",
volume = "12",
}
@mastersthesis{Gibbons88:View,
title = "A New View of Binary Trees",
author = "Jeremy Gibbons",
year = "1988",
note = "Abstract appears in the Bulletin of the EATCS, number~39, p.~214.",
school = "Programming Research Group, Oxford University",
}