A new view of binary trees. - Jeremy Gibbons (1988)

Formal Derivation of a Pattern Matching Algorithm. - Richard S. Bird; Jeremy Gibbons; Geraint Jones (Sci. Comput. Program., 1989)

Upwards and Downwards Accumulations on Trees. - Jeremy Gibbons (MPC, 1992)

Efficient Parallel Algorithms for Tree Accumulations. - Jeremy Gibbons; Wentong Cai 001; David B. Skillicorn (Sci. Comput. Program., 1994)

An Initial-Algebra Approach to Directed Acyclic Graphs. - Jeremy Gibbons (MPC, 1995)

Deriving Tidy Drawings of Trees. - Jeremy Gibbons (J. Funct. Program., 1996)

The Third Homomorphism Theorem. - Jeremy Gibbons (J. Funct. Program., 1996)

Computing Downwards Accumulations on Trees Quickly. - Jeremy Gibbons (Theor. Comput. Sci., 1996)

The Under-Appreciated Unfold. - Jeremy Gibbons; Geraint Jones (ICFP, 1998)

Polytypic Downwards Accumulations. - Jeremy Gibbons (MPC, 1998)

Structured Programing in Java. - Jeremy Gibbons (ACM SIGPLAN Notices, 1998)

A Pointless Derivation of Radix Sort. - Jeremy Gibbons (J. Funct. Program., 1999)

Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. - Oege de Moor; Jeremy Gibbons (Sci. Comput. Program., 1999)

Algebraic Methods for Optimization Problems. - Richard S. Bird; Jeremy Gibbons; Shin-Cheng Mu (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000)

Calculating Functional Programs. - Jeremy Gibbons (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000)

Invited Talk: Pointwise Relational Programming. - Oege de Moor; Jeremy Gibbons (AMAST, 2000)

Generic downwards accumulations. - Jeremy Gibbons (Sci. Comput. Program., 2000)

When is a function a fold or an unfold? - Jeremy Gibbons; Graham Hutton; Thorsten Altenkirch (CMCS, 2001)

The generic approximation lemma. - Graham Hutton; Jeremy Gibbons (Inf. Process. Lett., 2001)

On the semantics of nested datatypes. - Clare E. Martin; Jeremy Gibbons (Inf. Process. Lett., 2001)

Arithmetic Coding with Folds and Unfolds. - Richard S. Bird; Jeremy Gibbons (Advanced Functional Programming, 2002)

Towards a Colimit-Based Semantics for Visual Programming. - Jeremy Gibbons (COORDINATION, 2002)

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. - Andrew Simpson 001; Andrew P. Martin; Jeremy Gibbons; Jim Davies; Steve McKeever (ICSE, 2003)

Streaming Representation-Changers. - Jeremy Gibbons (MPC, 2004)

Disciplined, efficient, generalised folds for nested datatypes. - Clare E. Martin; Jeremy Gibbons; Ian Bayley (Formal Aspects Comput., 2004)

TypeCase: a design pattern for type-indexed functions. - Bruno C. d. S. Oliveira; Jeremy Gibbons (Haskell, 2005)

Proof Methods for Corecursive Programs. - Jeremy Gibbons; Graham Hutton (Fundam. Informaticae, 2005)

Design patterns as higher-order datatype-generic programs. - Jeremy Gibbons (ICFP-WGP, 2006)

Fission for Program Comprehension. - Jeremy Gibbons (MPC, 2006)

Fast and loose reasoning is morally correct. - Nils Anders Danielsson; John Hughes 001; Patrik Jansson; Jeremy Gibbons (POPL, 2006)

Datatype-Generic Programming. - Jeremy Gibbons (SSDGP, 2006)

Functional Pearl: Enumerating the rationals. - Jeremy Gibbons; David R. Lester; Richard S. Bird (J. Funct. Program., 2006)

Unbounded Spigot Algorithms for the Digits of Pi. - Jeremy Gibbons (Am. Math. Mon., 2006)

Semantic frameworks for e-government. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Aadya Shukla (ICEGOV, 2007)

Unifying Theories of Objects. - Michael Anthony Smith; Jeremy Gibbons (IFM, 2007)

Model-driven architecture for cancer research. - Radu Calinescu; Steve Harris; Jeremy Gibbons; Jim Davies; Igor Toujilov; Sylvia B. Nagl (SEFM, 2007)

A Process-Algebraic Approach to Workflow Specification and Refinement. - Peter Y. H. Wong; Jeremy Gibbons (SC@ETAPS, 2007)

Metamorphisms: Streaming representation-changers. - Jeremy Gibbons (Sci. Comput. Program., 2007)

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. - Tianyi Zang; Radu Calinescu; Steve Harris; Andrew Tsui; Marta Z. Kwiatkowska; Jeremy Gibbons; Jim Davies; Peter Maccallum; Carlos Caldas (CCGRID, 2008)

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. - Tianyi Zang; Radu Calinescu; Steve Harris; Andrew Tsui; Charles Crichton; Marta Z. Kwiatkowska; Jeremy Gibbons; Jim Davies; James D. Brenton; Carlos Caldas (eScience, 2008)

Interoperability frameworks for electronic governance. - Alejandra Cechich; Lorenzo Madrid; Jeremy Gibbons; Jay P. Kesan (ICEGOV, 2008)

Metadata standards for semantic interoperability in electronic government. - Jim Davies; Steve Harris; Charles Crichton; Aadya Shukla; Jeremy Gibbons (ICEGOV, 2008)

Semantic technologies in electronic government. - Steve Harris; Jeremy Gibbons; Jim Davies; Andrew Tsui; Charles Crichton (ICEGOV, 2008)

A Process Semantics for BPMN. - Peter Y. H. Wong; Jeremy Gibbons (ICFEM, 2008)

On Specifying and Visualising Long-Running Empirical Studies. - Peter Y. H. Wong; Jeremy Gibbons (ICMT@TOOLS, 2008)

Unfolding Abstract Datatypes. - Jeremy Gibbons (MPC, 2008)

The visitor pattern as a reusable, generic, type-safe component. - Bruno C. d. S. Oliveira; Meng Wang 002; Jeremy Gibbons (OOPSLA, 2008)

Verifying Business Process Compatibility (Short Paper). - Peter Y. H. Wong; Jeremy Gibbons (QSIC, 2008)

Unifying Theories of Locations. - Michael Anthony Smith; Jeremy Gibbons (UTP, 2008)

A Relative Timed Semantics for BPMN. - Peter Y. H. Wong; Jeremy Gibbons (FOCLASA@ICALP, 2008)

Semantics-Driven Development for Electronic Government Applications. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Aadya Shukla; Andrew Tsui (HICSS, 2009)

Parametric datatype-genericity. - Jeremy Gibbons; Ross Paterson (WGP@ICFP, 2009)

Metadata-driven software for clinical trials. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Andrew Tsui; James D. Brenton (SEHC@ICSE, 2009)

The essence of the Iterator pattern. - Jeremy Gibbons; Bruno C. d. S. Oliveira (J. Funct. Program., 2009)

Formal methods for future interoperability. - Jim Davies; Jeremy Gibbons (ACM SIGCSE Bull., 2009)

Semantic Frameworks - Meanings in the Architecture. - Jim Davies; Jeremy Gibbons (ICDCIT, 2010)

Gradual Refinement. - Meng Wang 002; Jeremy Gibbons; Kazutaka Matsuda; Zhenjiang Hu (MPC, 2010)

Editorial. - Jeremy Gibbons (J. Funct. Program., 2010)

Scala for generic programmers. - Bruno C. d. S. Oliveira; Jeremy Gibbons (J. Funct. Program., 2010)

Form Follows Function - Model-Driven Engineering for Clinical Trials. - Jim Davies; Jeremy Gibbons; Radu Calinescu; Charles Crichton; Steve Harris; Andrew Tsui (FHIES, 2011)

Just do it: simple monadic equational reasoning. - Jeremy Gibbons; Ralf Hinze (ICFP, 2011)

Modularising inductive families. - Hsiang-Shang Ko; Jeremy Gibbons (WGP@ICFP, 2011)

Incremental updates for efficient bidirectional transformations. - Meng Wang 002; Jeremy Gibbons; Nicolas Wu (ICFP, 2011)

Maximum Segment Sum, Monadically (distilled tutorial) - Jeremy Gibbons (DSL, 2011)

Formalisations and applications of BPMN. - Peter Y. H. Wong; Jeremy Gibbons (Sci. Comput. Program., 2011)

Property specifications for workflow modelling. - Peter Y. H. Wong; Jeremy Gibbons (Sci. Comput. Program., 2011)

Machine learning and software engineering in health informatics. - David A. Clifton; Jeremy Gibbons; Jim Davies; Lionel Tarassenko (RAISE@ICSE, 2012)

Compositionality and Refinement in Model-Driven Engineering. - Jim Davies; Jeremy Gibbons; David Milward; James Welch (SBMF, 2012)

Unifying Theories of Programming with Monads. - Jeremy Gibbons (UTP, 2012)

Tracing monadic computations and representing effects - Maciej Piróg; Jeremy Gibbons (MSFP, 2012)

Relating Algebraic and Coalgebraic Descriptions of Lenses. - Jeremy Gibbons; Michael Johnson (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Functional Programming for Domain-Specific Languages. - Jeremy Gibbons (CEFP, 2013)

Understanding idiomatic traversals backwards and forwards. - Richard S. Bird; Jeremy Gibbons; Stefan Mehner; Janis Voigtländer; Tom Schrijvers (Haskell, 2013)

Unifying structured recursion schemes. - Ralf Hinze; Nicolas Wu; Jeremy Gibbons (ICFP, 2013)

Relational algebraic ornaments. - Hsiang-Shang Ko; Jeremy Gibbons (DTP@ICFP, 2013)

Monads for Behaviour. - Maciej Piróg; Jeremy Gibbons (MFPS, 2013)

Refactoring pattern matching. - Meng Wang 002; Jeremy Gibbons; Kazutaka Matsuda; Zhenjiang Hu (Sci. Comput. Program., 2013)

ACM SIGPLAN vice-chair's report. - Jeremy Gibbons (ACM SIGPLAN Notices, 2013)

Towards a Repository of Bx Examples. - James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons (EDBT/ICDT Workshops, 2014)

Entangled State Monads. - James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons; Faris Abou-Saleh (EDBT/ICDT Workshops, 2014)

Folding domain-specific languages: deep and shallow embeddings (functional Pearl). - Jeremy Gibbons; Nicolas Wu (ICFP, 2014)

The Coinductive Resumption Monad. - Maciej Piróg; Jeremy Gibbons (MFPS, 2014)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. - Jim Davies; Jeremy Gibbons; Steve Harris; Charles Crichton (Sci. Comput. Program., 2014)

Model-driven engineering of information systems: 10 years and 1000 versions. - Jim Davies; Jeremy Gibbons; James Welch; Edward Crichton (Sci. Comput. Program., 2014)

Selected papers from Mathematics of Program Construction 2012. - Jeremy Gibbons; Pablo Nogueira (Sci. Comput. Program., 2014)

Practices of PLDI. - Hans-Juergen Boehm; Jack W. Davidson; Kathleen Fisher; Cormac Flanagan; Jeremy Gibbons; Mary W. Hall; Graham Hutton; David A. Padua; Frank Tip; Jan Vitek; Philip Wadler (ACM SIGPLAN Notices, 2014)

SIGPLAN vice-chair's report. - Jeremy Gibbons (ACM SIGPLAN Notices, 2014)

Modules Over Monads and Their Algebras. - Maciej Piróg; Nicolas Wu; Jeremy Gibbons (CALCO, 2015)

Notions of Bidirectional Computation and Entangled State Monads. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (MPC, 2015)

Domain specific modelling for clinical research. - Jim Davies; Jeremy Gibbons; Adam Milward; David Milward; Seyyed Shah; Monika Solanki; James Welch (DSM@SPLASH, 2015)

Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. - Ralf Hinze; Nicolas Wu; Jeremy Gibbons (POPL, 2015)

Towards a Principle of Least Surprise for Bidirectional Transformations. - James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (Bx@STAF, 2015)

From Push/Enter to Eval/Apply by Program Transformation. - Maciej Piróg; Jeremy Gibbons (WoC, 2015)

Introduction to Bidirectional Transformations. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (Bidirectional Transformations, 2016)

Reflections on Monadic Lenses. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (A List of Successes That Can Change the World, 2016)

Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday. - Jeremy Gibbons (A List of Successes That Can Change the World, 2016)

Free delivery (functional pearl). - Jeremy Gibbons (Haskell, 2016)

APLicative programming with Naperian functors (extended abstract). - Jeremy Gibbons (TyDe@ICFP, 2016)

Kernels, in a nutshell. - Jeremy Gibbons (J. Log. Algebraic Methods Program., 2016)

APLicative Programming with Naperian Functors. - Jeremy Gibbons (ESOP, 2017)

On Ontologology. - Perdita Stevens; Jeremy Gibbons (BX@ETAPS, 2017)

Programming with ornaments. - Hsiang-Shang Ko; Jeremy Gibbons (J. Funct. Program., 2017)

Coalgebraic Aspects of Bidirectional Computation. - Faris Abou-Saleh; James McKinna; Jeremy Gibbons (J. Object Technol., 2017)

On principles of Least Change and Least Surprise for bidirectional transformations. - James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (J. Object Technol., 2017)

Profunctor Optics: Modular Data Accessors. - Matthew Pickering; Jeremy Gibbons; Nicolas Wu (Art Sci. Eng. Program., 2017)

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl). - Guillaume Boisseau; Jeremy Gibbons (Proc. ACM Program. Lang., 2018)

Relational algebra by way of adjunctions. - Jeremy Gibbons; Fritz Henglein; Ralf Hinze; Nicolas Wu (Proc. ACM Program. Lang., 2018)

Comprehending Ringads (keynote). - Jeremy Gibbons (DBPL, 2019)

The School of Squiggol - A History of the Bird-Meertens Formalism. - Jeremy Gibbons (FM Workshops (2), 2019)

Coding with Asymmetric Numeral Systems. - Jeremy Gibbons (MPC, 2019)

Quantitative Information Flow with Monads in Haskell. - Jeremy Gibbons; Annabelle McIver; Carroll Morgan; Tom Schrijvers (Foundations of Probabilistic Programming, 2020)

How to design co-programs. - Jeremy Gibbons (J. Funct. Program., 2021)

Algorithmics. - Richard S. Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert G. L. T. Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra; Nicolas Wu (IFIP's Exciting First 60+ Years, 2021)

Breadth-First Traversal via Staging. - Jeremy Gibbons; Donnacha Oisín Kidney; Tom Schrijvers; Nicolas Wu (MPC, 2022)

Algorithm Design with the Selection Monad. - Johannes Hartmann; Jeremy Gibbons (TFP, 2022)

Editorial. - Jeremy Gibbons; Shriram Krishnamurthi (J. Funct. Program., 2022)

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. - Jeremy Gibbons (Art Sci. Eng. Program., 2022)

Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181). - Peter Braam; Jeremy Gibbons; Oleg Kiselyov (NII Shonan Meet. Rep., 2022)

Phases in Software Architecture. - Jeremy Gibbons; Donnacha Oisín Kidney; Tom Schrijvers; Nicolas Wu (FUNARCH, 2023)

Towards a More Efficient Selection Monad. - Johannes Hartmann; Tom Schrijvers; Jeremy Gibbons (TFP, 2024)

Profunctor Optics, a Categorical Update. - Bryce Clarke; Derek Elkins; Jeremy Gibbons; Fosco Loregiàn; Bartosz Milewski; Emily Pillmore; Mario Román (Compositionality, 2024)

Turner, Bird, Eratosthenes: An eternal burning thread. - Jeremy Gibbons (J. Funct. Program., 2025)

Binomial Tabulation: A Short Story. - Hsiang-Shang Ko; Shin-Cheng Mu; Jeremy Gibbons (CoRR, 2025)