University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Jeremy Gibbons : Publications

By dateBy titleBy typeBibtex

[1]

Folding Domain−Specific Languages: Deep and Shallow Embeddings

Jeremy Gibbons and Nicolas Wu

September, 2014.

[2]

Model−driven Engineering of Information Systems: 10 years and 1000 versions

Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton

In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.

[3]

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials

Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Charles Crichton

In Science of Computer Programming. Vol. 89B. Pages 126−143. September, 2014.

[4]

Categories for the Working Haskeller

Jeremy Gibbons

September, 2014.

[5]

Conjugate Hylomorphisms‚ or: The Mother of All Structured Recursion Schemes

Ralf Hinze‚ Nick Wu and Jeremy Gibbons

July, 2014.

Draft − submitted for review

[6]

Entangled State Monads

James Cheney‚ James McKinna‚ Perdita Stevens‚ Jeremy Gibbons and Faris Abou−Saleh

In BX Workshop. March, 2014.

[7]

Towards a Repository of BX Examples

James Cheney‚ James McKinna‚ Perdita Stevens and Jeremy Gibbons

In BX Workshop. March, 2014.

[8]

Compositionality in Embedded Domain−Specific Languages

Jeremy Gibbons

In Domain−Specific Language Design and Implementation. 2014.

[9]

The coinductive resumption monad

Maciej Piróg and Jeremy Gibbons

2014.

Accepted for MFPS XXX

[10]

Understanding Idiomatic Traversals Backwards and Forwards

Richard Bird‚ Jeremy Gibbons‚ Stefan Mehner‚ Janis Voigtlaender and Tom Schrijvers

In Haskell Symposium. September, 2013.

[11]

Functional Programming for Domain−Specific Languages

Jeremy Gibbons

In Viktoria Zsok, editor, Central European Functional Programming − Summer School on Domain−Specific Languages. July, 2013.

[12]

Categorical organisation of the ornament–refinement framework

Hsiang−Shang Ko and Jeremy Gibbons

Submitted to POPL'14. July, 2013.

[13]

Accumulating Attributes (for Doaitse Swierstra‚ on his retirement)

Jeremy Gibbons

In Jurriaan Hage and Atze Dijkstra, editors, Een Lawine van Ontwortelde Bomen: Liber Amicorum voor Doaitse Swierstra. Pages 87−102. May, 2013.

[14]

Modularising inductive families

Hsiang−Shang Ko and Jeremy Gibbons

In Progress in Informatics. No. 10. Pages 65−88. 2013.

[15]

Unifying Structured Recursion Schemes

Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

In Tarmo Uustalu, editor, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. Pages 209–220. New York‚ NY‚ USA. 2013. ACM.

[16]

Monads for behaviour

Maciej Piróg and Jeremy Gibbons

Vol. 298. Pages 309 − 324. 2013.

Proceedings of the Twenty−ninth Conference on the Mathematical Foundations of Programming Semantics‚ MFPS XXIX

[17]

Relational algebraic ornaments

Hsiang−Shang Ko and Jeremy Gibbons

In Dependently Typed Programming. ACM. 2013.

[18]

Foundations of Health Information Engineering and Systems

To appear

[19]

Unifying Theories of Programming with Monads

Jeremy Gibbons

In UTP Symposium. August, 2012.

[20]

Mathematics of Program Construction

Jeremy Gibbons and Pablo Nogueira, editors

[21]

Machine Learning and Software Engineering in Health Informatics

David A. Clifton‚ Jeremy Gibbons‚ Jim Davies and Lionel Tarassenko

May, 2012.

[22]

Be Kind‚ Rewind: A Modest Proposal about Traversal

Jeremy Gibbons and Richard Bird

May, 2012.

Submitted for publication (but rejected)

[23]

Refactoring Pattern Matching

Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu

In Science of Computer Programming. Vol. 78. No. 11. Pages 2216−2242. January, 2012.

Revised version of the MPC2010 paper "Gradual Refinement"

[24]

Generic and Indexed Programming

Jeremy Gibbons, editor

Vol. 7470 of Lecture Notes in Computer Science. Springer. 2012.

[25]

The Beauty of Simplicity

Jeremy Gibbons

In Communications of the ACM. Vol. 55. No. 4. Pages 6. 2012.

Letter to the editor

[26]

Compositionality and Refinement in Model−Driven Engineering

Jim Davies‚ Jeremy Gibbons‚ David Milward and James Welch

In Rohit Gheyi and David A. Naumann, editors, Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012. Proceedings. Vol. 7498 of Lecture Notes in Computer Science. Pages 99−114. Springer. 2012.

[27]

Tracing monadic computations and representing effects

Maciej Pirog and Jeremy Gibbons

In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012. Vol. 76 of Electronic Proceedings in Theoretical Computer Science. Pages 90−111. Open Publishing Association. 2012.

[28]

Relating Algebraic and Coalgebraic Descriptions of Lenses

Jeremy Gibbons and Mike Johnson

Vol. 49 (Bidirectional Transformations 2012). 2012.

[29]

Maximum Segment Sum‚ Monadically (distilled tutorial)

Jeremy Gibbons

In Olivier Danvy and Chung−chieh Shan, editors, IFIP TC2 Working Conference on Domain−Specific Languages. Bordeaux. September, 2011.

[30]

Incremental Updates for Efficient Bidirectional Transformations

Meng Wang‚ Jeremy Gibbons and Nicolas Wu

In ICFP. September, 2011.

[31]

Just do it: Simple monadic equational reasoning

Jeremy Gibbons and Ralf Hinze

In ICFP. September, 2011.

[32]

Form Follows Function: Model−Driven Engineering for Clinical Trials

Jim Davies‚ Jeremy Gibbons‚ Radu Calinescu‚ Charles Crichton‚ Steve Harris and Andrew Tsui

In International Symposium on Foundations of Health Information Engineering and Systems. Vol. 7151 of LNCS. Pages 21−38. Springer. August, 2011.

[33]

A Functional Derivation of the Warren Abstract Machine

Maciej Pirog and Jeremy Gibbons

2011.

Submitted for publication

[34]

Formalisations and Applications of BPMN

Peter Y.H. Wong and Jeremy Gibbons

In Science of Computer Programming. Vol. 76. Pages 633−650. 2011.

Special issue on FOCLASA 2008

[35]

Modularising inductive families

Hsiang−Shang Ko and Jeremy Gibbons

In Workshop on Generic Programming. Pages 13−24. ACM. 2011.

[36]

Design Patterns as Higher−Order Datatype−Generic Programs

Jeremy Gibbons

Pages 36. 2010.

Submitted for publication; revised version of the WGP2006 paper

[37]

Property Specifications for Workflow Modelling

Peter Y.H. Wong and Jeremy Gibbons

In Science of Computer Programming. 2010.

Extended version. To appear.

[38]

Scala for Generic Programmers

Bruno C. d. S. Oliveira and Jeremy Gibbons

In Journal of Functional Programming. Vol. 20. No. 3‚4. Pages 303−352. 2010.

Revised version of the WGP2008 paper

[39]

Semantic Frameworks: Meanings in the Architecture

Jim Davies and Jeremy Gibbons

In Distributed Computing and Internet Technology. Vol. 5966 of LNCS. Pages 40−54. 2010.

[40]

Gradual Refinement: Blending Pattern Matching with Data Abstraction

Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu

In Jules Desharnais, editor, Mathematics of Program Construction. Vol. 6120 of LNCS. 2010.

See revised journal version "Refactoring Pattern Matching"

[41]

Deep Zoom and Touch Screen for Tissue Microarray Image Scoring

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Andrew Tsui‚ James Brenton‚ Carlos Caldas and Lorna Morris

Poster at Microsoft External Research Symposium. 2010.

[42]

Parametric Datatype−Genericity

Jeremy Gibbons and Ross Paterson

In Workshop on Generic Programming. Edinburgh. August, 2009.

[43]

Formal Methods for Future Interoperability

Jim Davies and Jeremy Gibbons

In ACM Inroads. Vol. 41. No. 2. Pages 60−64. June, 2009.

A revised version of "Formal Methods for Electronic Government" (FMET‚ 2008)

[44]

Metadata−Driven Software for Clinical Trials

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton

May, 2009.

[45]

Property Specifications for Workflow Modelling

Peter Y.H. Wong and Jeremy Gibbons

In Proceedings of 7th International Conference on Integrated Formal Methods. Vol. 5423 of LNCS. February, 2009.

Invited for special issue in Science of Computer Programming. Technical report version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf

[46]

Model−Driven Support for a Vaccine Study in Kathmandu

Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Jane Metz‚ Andrew J. Pollard and Matthew Snape

In Microsoft eScience Workshop. October, 2009.

[47]

Semantics−Driven Development for Electronic Government Applications

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Aadya Shukla and Andrew Tsui

In HICSS (Electronic Government Track). Hawaii. January, 2009.

[48]

Functional Pearls (editorial)

Jeremy Gibbons

In Journal of Functional Programming. 2009.

[49]

The Essence of the Iterator Pattern

Jeremy Gibbons and Bruno César dos Santos Oliveira

In Journal of Functional Programming. Vol. 19. No. 3&4. Pages 377−402. 2009.

Revised version of Gibbons&Oliveira2006:Essence

[50]

Translucent Abstraction: Safe Views through Invertible Programming (Extended version)

Meng Wang‚ Jeremy Gibbons and Kazutaka Matsuda

2009.

[51]

Teaching Formal Methods

[52]

A Process Semantics for BPMN

Peter Wong and Jeremy Gibbons

In International Conference on Formal Engineering Methods. Kitakyushu‚ Japan. September, 2008.

[53]

Scala for Generic Programmers

Bruno Oliveira and Jeremy Gibbons

In Ralf Hinze, editor, Workshop on Generic Programming. Victoria‚ BC. September, 2008.

[54]

Unifying Theories of Locations

Michael Anthony Smith and Jeremy Gibbons

In Andrew Butterfield, editor, Unifying Theories of Programming. Dublin. September, 2008.

[55]

Verifying Business Process Compatibility

Peter Y.H. Wong and Jeremy Gibbons

In Proceedings of 8th International Conference on Quality Software.. Pages 126−131. IEEE Computer Society. August, 2008.

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

[56]

On Specifying and Visualising Long−Running Empirical Studies.

Peter Y.H. Wong and Jeremy Gibbons

In Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations). Vol. 5063 of LNCS. July, 2008.

Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf.

[57]

A Relative Timed Semantics for BPMN

Peter Y.H. Wong and Jeremy Gibbons

In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.. Vol. 229 of ENTCS. July, 2008.

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 http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf.

[58]

A Relative Timed Semantics for BPMN

Peter Wong and Jeremy Gibbons

In Foundations of Coordination Languages and Software Architectures (FOCLASA). Zurich. July, 2008.

[59]

Unfolding Abstract Datatypes

Jeremy Gibbons

In Mathematics of Program Construction. July, 2008.

[60]

Semantic Technologies in Electronic Government

Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Andrew Tsui and Charles Crichton

In Tomasz Janowski and Teresa Pardo, editors, ICEGOV 2008. Pages 45 – 51. Cairo. December, 2008. ACM Press.

[61]

Metadata Standards for Semantic Interoperability in Electronic Government

Jim Davies‚ Steve Harris‚ Charles Crichton‚ Aadya Shukla and Jeremy Gibbons

In International Conference on Theory and Practice of Electronic Governance. Cairo. December, 2008.

Received a Best Paper Award

[62]

Accelerating Cancer Research Using Semantics−Driven Technology

James Brenton‚ Jim Davies‚ Jeremy Gibbons and Steve Harris

In Microsoft eScience Workshop. Indianapolis‚ IN. December, 2008.

[63]

A Process Semantics for BPMN

Peter Y.H. Wong and Jeremy Gibbons

In Proceedings of 10th International Conference on Formal Engineering Methods.. Vol. 5256 of LNCS. October, 2008.

Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf.

[64]

Formal Methods for Electronic Government

Jim Davies and Jeremy Gibbons

In Workshop on Formal Methods Education and Training at ICFEM. Kitakyushu‚ Japan. October, 2008.

[65]

Interoperability Frameworks for Electronic Governance

Alejandra Cechich‚ Lorenzo Madrid‚ Jeremy Gibbons and Jay Kesan

In Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance. Pages 490–491. Cairo‚ Egypt. 2008. ACM.

[66]

Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures

Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Denise Warzel

In Microsoft eScience Workshop. Indianapolis‚ IN. 2008.

[67]

Metamodel−Based Generation of WSRF−Compliant SOA for Collaborative Cancer Research

Tianyi Zang‚ Radu Calinescu‚ Steve Harris‚ Andrew Tsui‚ Charles Crichton‚ Marta Kwiatkowska‚ Jeremy Gibbons‚ Jim Davies and Carlos Caldas

In IEEE eScience Conference. 2008.

[68]

WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research

Tianyi Zang‚ Radu Calinescu‚ Steve Harris‚ Andrew Tsui‚ Marta Kwiatkowska‚ Jeremy Gibbons‚ Jim Davies‚ Peter Maccallum and Carlos Caldas

In 8th IEEE International Symposium on Cluster Computing (CCGrid). 2008.

[69]

Verifying Business Process Compatibility

Peter Wong and Jeremy Gibbons

In 8th International Conference on Quality Software (QSIC). 2008.

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

[70]

On Specifying and Visualising Long−Running Empirical Studies

Peter Y. H. Wong and Jeremy Gibbons

In International Conference on Model Transformations (ICMT). 2008.

[71]

The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component

Bruno C. d. S. Oliveira‚ Meng Wang and Jeremy Gibbons

In Object−Oriented Programming: Systems‚ Languages‚ Applications (OOPSLA). 2008.

[72]

Model−Driven Architecture for Cancer Research

Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Igor Toujilov and Sylvia Nagl

In Software Engineering and Formal Methods. Pages 59−68. September, 2007.

[73]

A Process−Algebraic Approach to Workflow Specification and Refinement

Peter Y. H. Wong and Jeremy Gibbons

In Proceedings of 6th International Symposium on Software Composition. Vol. 4829 of LNCS. March, 2007.

[74]

Semantic Frameworks for e−Government

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Aadya Shukla

In Theresa Pardo and Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007. Pages 30–39. ACM. December, 2007.

[75]

Report on Fourth Workshop on Commercial Users of Functional Programming

Jeremy Gibbons

December, 2007.

[76]

Cross−Trial Query System for Cancer Clinical Trials

Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons and Jim Davies

In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Pages 385–390. Springer. 2007.

[77]

Metamorphisms: Streaming Representation−Changers

Jeremy Gibbons

In Science of Computer Programming. Vol. 65. No. 2. Pages 108−139. 2007.

[78]

A Process−Algebraic Approach to Workflow Specification and Refinement

Peter Y. H. Wong and Jeremy Gibbons

In Software Composition. 2007.

[79]

Generic and Indexed Programming

Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira

In Marco Morazan, editor, Trends in Functional Programming. 2007.

[80]

Datatype−Generic Programming

Jeremy Gibbons

In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Spring School on Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Springer−Verlag. 2007.

[81]

Unifying Theories of Objects

Michael Anthony Smith and Jeremy Gibbons

In Jim Davies and Jeremy Gibbons, editors, Integrated Formal Methods. Vol. 4591 of Lecture Notes in Computer Science. Pages 599−618. Springer−Verlag. 2007.

[82]

Spring School on Datatype−Generic Programming

Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors

[83]

Integrated Formal Methods

Jim Davies and Jeremy Gibbons, editors

[84]

Design Patterns as Higher−Order Datatype−Generic Programs

Jeremy Gibbons

In Ralf Hinze, editor, Workshop on Generic Programming. September, 2006.

[85]

An Unbounded Spigot Algorithm for the Digits of Pi

Jeremy Gibbons

In American Mathematical Monthly. Vol. 113. No. 4. Pages 318−328. April, 2006.

[86]

Fast and Loose Reasoning is Morally Correct

Nils Anders Danielsson‚ Jeremy Gibbons‚ John Hughes and Patrik Jansson

In Principles of Programming Languages. Pages 206−217. January, 2006.

[87]

Enumerating the Rationals

Jeremy Gibbons‚ David Lester and Richard Bird

In Journal of Functional Programming. Vol. 16. No. 4. 2006.

[88]

Fission for Program Comprehension

Jeremy Gibbons

In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 162−179. Springer−Verlag. 2006.

[89]

The Essence of the Iterator Pattern

Jeremy Gibbons and Bruno César dos Santos Oliveira

In Conor McBride and Tarmo Uustalu, editors, Mathematically−Structured Functional Programming. 2006.

Superseded by Gibbons&Oliveira2008:Essence

[90]

Design Patterns as Higher−Order Datatype−Generic Programs

Jeremy Gibbons

In European Conference on Object−Oriented Programming. Glasgow. July, 2005.

Later version appears as Gibbons2005:DesignOOPSLA

[91]

Design Patterns as Higher−Order Datatype−Generic Programs

Jeremy Gibbons

In Object−Oriented Programming: Systems‚ Languages‚ Applications. San Diego. October, 2005.

A revision of Gibbons2005:DesignECOOP

[92]

Proof Methods for Corecursive Programs

Jeremy Gibbons and Graham Hutton

In Fundamenta Informaticae. Vol. 66. No. 4. Pages 353−366. 2005.

[93]

TypeCase: A Design Pattern for Type−Indexed Functions

Bruno César dos Santos Oliveira and Jeremy Gibbons

In Daan Leijen, editor, Haskell Workshop. Pages 98−109. 2005.

[94]

Streaming Representation−Changers

Jeremy Gibbons

In Dexter Kozen, editor, Mathematics of Program Construction. Vol. 3125 of Lecture Notes in Computer Science. Pages 142−168. July, 2004.

http://www.springerlink.com/index/LHQ73WU5GU686976

[95]

Disciplined‚ efficient‚ generalised folds for nested datatypes

Clare Martin‚ Jeremy Gibbons and Ian Bayley

In Formal Aspects of Computing. Vol. 16. No. 1. Pages 19−35. 2004.

[96]

Summer School on Generic Programming

Roland Backhouse and Jeremy Gibbons, editors

Vol. 2793 of Lecture Notes in Computer Science. Springer−Verlag. 2003.

[97]

The Fun of Programming

Jeremy Gibbons and Oege de Moor, editors

Palgrave. 2003.

Hardback ISBN: 1−4039−0772−2

[98]

On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects

Andrew Simpson‚ Andrew Martin‚ Jeremy Gibbons‚ Jim Davies and Steve McKeever

In International Conference on Software Engineering. Pages 628−633. 2003.

[99]

Arithmetic Coding with Folds and Unfolds

Richard Bird and Jeremy Gibbons

In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming 4. Vol. 2638 of Lecture Notes in Computer Science. Pages 1−26. Springer−Verlag. 2003.

Code available at http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip

[100]

Patterns in Datatype−Generic Programming

Jeremy Gibbons

In Jörg Striegnitz and Kei Davis, editors, Multiparadigm Programming. Vol. 27. Pages 277−289. John von Neumann Institute for Computing (NIC). 2003.

First International Workshop on Declarative Programming in the Context of Object−Oriented Languages (DPCOOL)

[101]

Generic Programming

Jeremy Gibbons and Johan Jeuring, editors

Proceedings of the IFIP TC2 Working Conference on Generic Programming‚ Schloß Dagstuhl‚ July 2002. ISBN 1−4020−7374−7.

[102]

Origami Programming

Jeremy Gibbons

In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming. Pages 41−60. Palgrave. 2003.

[103]

Towards a Colimit−Based Semantics for Visual Programming

Jeremy Gibbons

In Coordination Models and Languages. Vol. 2315 of Lecture Notes in Computer Science. Pages 166–173. April, 2002.

[104]

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors

Vol. 2297 of Lecture Notes in Computer Science. Springer−Verlag. 2002.

[105]

Algebraic Methods for Optimization Problems

Richard Bird‚ Jeremy Gibbons and Shin Cheng Mu

In Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 281–307. Springer−Verlag. 2002.

[106]

Calculating Functional Programs

Jeremy Gibbons

In Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 148–203. Springer−Verlag. 2002.

[107]

The Generic Approximation Lemma

Graham Hutton and Jeremy Gibbons

In Information Processing Letters. Vol. 79. No. 4. Pages 197–201. August, 2001.

[108]

When is a Function a Fold or an Unfold?

Jeremy Gibbons‚ Graham Hutton and Thorsten Altenkirch

In Electronic Notes in Theoretical Computer Science. Vol. 44. No. 1. April, 2001.

Proceedings of Coalgebraic Methods in Computer Science

[109]

On the Semantics of Nested Datatypes

Clare Martin and Jeremy Gibbons

In Information Processing Letters. Vol. 80. No. 5. Pages 233–238. December, 2001.

[110]

Pointwise Relational Programming

Oege de Moor and Jeremy Gibbons

In Algebraic Methodology and Software Technology. Vol. 1816 of Lecture Notes in Computer Science. Pages 371–390. May, 2000.

[111]

Generic Downwards Accumulations

Jeremy Gibbons

In Science of Computer Programming. Vol. 37. Pages 37–65. 2000.

[112]

Program Optimisation‚ Naturally

Richard Bird‚ Jeremy Gibbons and Geraint Jones

In J. W. Davies‚ A. W. Roscoe and J. C. P. Woodcock, editors, Millenial Perspectives in Computer Science. Palgrave. 2000.

[113]

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Jeremy Gibbons

March, 1999.

Estonian Winter School on Computer Science

[114]

A Pointless Derivation of Radixsort

Jeremy Gibbons

In Journal of Functional Programming. Vol. 9. No. 3. Pages 339–346. 1999.

[115]

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting

Oege de Moor and Jeremy Gibbons

In Science of Computer Programming. Vol. 35. No. 1. 1999.

[116]

Proof Methods for Structured Corecursive Programs

Jeremy Gibbons and Graham Hutton

In Proceedings of 1st Scottish Workshop on Functional Programming. 1999.

[117]

The Under−Appreciated Unfold

Jeremy Gibbons and Geraint Jones

In International Conference on Functional Programming. Pages 273–279. Baltimore‚ Maryland. September, 1998.

[118]

Polytypic Downwards Accumulations

Jeremy Gibbons

In Johan Jeuring, editor, Proceedings of Mathematics of Program Construction. Vol. 1422 of Lecture Notes in Computer Science. Pages 207−233. Marstrand‚ Sweden. June, 1998. Springer−Verlag.

[119]

Structured Programming in Java

Jeremy Gibbons

In SIGPLAN Notices. Vol. 33. No. 4. Pages 40–43. April, 1998.

Also in Fintan Culwin‚ editor‚ Proceedings of the Second Conference on Java in the Computing Curriculum‚ South Bank University‚ London

[120]

Against the Grain: Linear−Time Breadth−First Tree Algorithms

Jeremy Gibbons and Geraint Jones

1998.

Oxford Brookes University and Oxford University Computing Laboratory

[121]

Calculating Functional Programs

Jeremy Gibbons

In Keiichi Nakata, editor, Proceedings of ISRG/SERG Research Colloquium. School of Computing and Mathematical Sciences‚ Oxford Brookes University. November, 1997.

Technical Report CMS−TR−98−01

[122]

More on Merging and Selection

Jeremy Gibbons

No. CMS−TR−97−08. School of Computing and Mathematical Sciences‚ Oxford Brookes University. October, 1997.

[123]

Conditionals in Distributive Categories

Jeremy Gibbons

No. CMS−TR−97−01. School of Computing and Mathematical Sciences‚ Oxford Brookes University. January, 1997.

[124]

Tracing Lazy Functional Languages

Jeremy Gibbons and Keith Wansbrough

In Michael E. Houle and Peter Eades, editors, Computing: The Australasian Theory Seminar. Pages 11–20. Melbourne. January, 1996.

[125]

Computing Downwards Accumulations on Trees Quickly

Jeremy Gibbons

In Theoretical Computer Science. Vol. 169. No. 1. Pages 67–80. 1996.

Earlier version appeared in Proceedings of the 16th Australian Computer Science Conference‚ Brisbane‚ 1993

[126]

Deriving Tidy Drawings of Trees

Jeremy Gibbons

In Journal of Functional Programming. Vol. 6. No. 3. Pages 535–562. 1996.

[127]

The Third Homomorphism Theorem

Jeremy Gibbons

In Journal of Functional Programming. Vol. 6. No. 4. Pages 657–665. 1996.

Earlier version appeared in B. Jay‚C. editor‚ Computing: The Australian Theory Seminar‚ Sydney‚ December 1994‚ 62–6p.9

[128]

Combinatorics‚ Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science

Douglas Bridges‚ Cris Calude‚ Jeremy Gibbons‚ Steve Reeves and Ian Witten, editors

[129]

An Initial−Algebra Approach to Directed Acyclic Graphs

Jeremy Gibbons

In Bernhard Möller, editor, Mathematics of Program Construction. Vol. 947 of Lecture Notes in Computer Science. Pages 282–303. Springer−Verlag. 1995.

[130]

Dotted and Dashed Lines in Metafont

Jeremy Gibbons

In Robin Fairbairns, editor, Proceedings of the 1995 Annual Meeting. Users' Group. 1995.

[131]

An Introduction to the Bird−Meertens Formalism

Jeremy Gibbons

In Steve Reeves, editor, Proceedings of the First New Zealand Formal Program Development Colloquium. Pages 1–12. Hamilton. November, 1994.

[132]

Efficient Parallel Algorithms for Tree Accumulations

Jeremy Gibbons‚ Wentong Cai and David Skillicorn

In Science of Computer Programming. Vol. 23. Pages 1–18. 1994.

[133]

How to Derive Tidy Drawings of Trees

Jeremy Gibbons

In C. Calude‚ M. J. J. Lennon and H. Maurer, editors, Proceedings of Salodays in Auckland. Pages 53–73. Department of Computer Science‚ University of Auckland. 1994.

Also in Proceedings of First New Zealand Formal Program Development Colloquium‚ 105–126p‥

[134]

Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips

Geraint Jones and Jeremy Gibbons

No. 7No.1. Dept of Computer Science‚ University of Auckland. May, 1993.

Also IFIP Working Group 2.1 working paper 705 WIN−2

[135]

Computing Downwards Accumulations on Trees Quickly

Jeremy Gibbons

In Gopal Gupta‚ George Mohay and Rodney Topor, editors, 16th Australian Computer Science Conference. Pages 685–691. Brisbane. February, 1993.

[136]

Upwards and Downwards Accumulations on Trees

Jeremy Gibbons

In R. S. Bird‚ C. C. Morgan and J. C. P. Woodcock, editors, Mathematics of Program Construction. Vol. 669 of Lecture Notes in Computer Science. Pages 122–138. Springer−Verlag. 1993.

A revised version appears in the Proceedings of the Massey Functional Programming Workshop‚ 1992

[137]

Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit

Jeremy Gibbons

In John Hosking, editor, Proceedings of the 13th New Zealand Computer Society Conference. Pages 207–217. 1993.

[138]

Algebras for Tree Algorithms

Jeremy Gibbons

PhD Thesis , type= D.Phil. thesis. Programming Research Group‚ Oxford University. 1991.

Available as Technical Monograph PRG−94. ISBN 0−902928−72−4

[139]

Formal Derivation of a Pattern Matching Algorithm

Richard S. Bird‚ Jeremy Gibbons and Geraint Jones

In Science of Computer Programming. Vol. 12. No. 2. Pages 93–104. July, 1989.

[140]

A New View of Binary Trees

Jeremy Gibbons

Master's Thesis , type= Transferral dissertation. Programming Research Group‚ Oxford University. 1988.

Abstract appears in the Bulletin of the EATCS‚ number 39‚ p. 214.