| 2022 | MPC | Breadth-First Traversal via Staging. | Jeremy Gibbons, Donnacha Oisn Kidney, Tom Schrijvers, Nicolas Wu |
| 2019 | FM | The School of Squiggol - A History of the Bird-Meertens Formalism. | Jeremy Gibbons |
| 2019 | MPC | Coding with Asymmetric Numeral Systems. | Jeremy Gibbons |
| 2017 | ESOP | APLicative Programming with Naperian Functors. | Jeremy Gibbons |
| 2016 | HASKELL | Free delivery (functional pearl). | Jeremy Gibbons |
| 2016 | ICFP | APLicative programming with Naperian functors (extended abstract). | Jeremy Gibbons |
| 2015 | CALCO | Modules Over Monads and Their Algebras. | Maciej Pirg, Nicolas Wu, Jeremy Gibbons |
| 2015 | MPC | Notions of Bidirectional Computation and Entangled State Monads. | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
| 2015 | OOPSLA | Domain specific modelling for clinical research. | Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch |
| 2015 | POPL | Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
| 2014 | EDBT | Towards a Repository of Bx Examples. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons |
| 2014 | EDBT | Entangled State Monads. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh |
| 2014 | ICFP | Folding domain-specific languages: deep and shallow embeddings (functional Pearl). | Jeremy Gibbons, Nicolas Wu |
| 2013 | HASKELL | Understanding idiomatic traversals backwards and forwards. | Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtlnder, Tom Schrijvers |
| 2013 | ICFP | Unifying structured recursion schemes. | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
| 2013 | ICFP | Relational algebraic ornaments. | Hsiang-Shang Ko, Jeremy Gibbons |
| 2012 | ICSE | Machine learning and software engineering in health informatics. | David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko |
| 2011 | ICFP | Just do it: simple monadic equational reasoning. | Jeremy Gibbons, Ralf Hinze |
| 2011 | ICFP | Modularising inductive families. | Hsiang-Shang Ko, Jeremy Gibbons |
| 2011 | ICFP | Incremental updates for efficient bidirectional transformations. | Meng Wang, Jeremy Gibbons, Nicolas Wu |
| 2010 | ICDCIT | Semantic Frameworks - Meanings in the Architecture. | Jim Davies, Jeremy Gibbons |
| 2010 | MPC | Gradual Refinement. | Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu |
| 2009 | ICFP | Parametric datatype-genericity. | Jeremy Gibbons, Ross Paterson |
| 2009 | ICSE | Metadata-driven software for clinical trials. | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton |
| 2009 | IFM | Property Specifications for Workflow Modelling. | Peter Y. H. Wong, Jeremy Gibbons |
| 2008 | CCGRID | 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 |
| 2008 | ICFEM | A Process Semantics for BPMN. | Peter Y. H. Wong, Jeremy Gibbons |
| 2008 | ICFP | Scala for generic programmers. | Bruno C. d. S. Oliveira, Jeremy Gibbons |
| 2008 | MPC | Unfolding Abstract Datatypes. | Jeremy Gibbons |
| 2008 | OOPSLA | The visitor pattern as a reusable, generic, type-safe component. | Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons |
| 2007 | IFM | Unifying Theories of Objects. | Michael Anthony Smith, Jeremy Gibbons |
| 2007 | SEFM | Model-driven architecture for cancer research. | Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl |
| 2006 | ICFP | Design patterns as higher-order datatype-generic programs. | Jeremy Gibbons |
| 2006 | MPC | Fission for Program Comprehension. | Jeremy Gibbons |
| 2006 | MPC | The Essence of the ITERATOR Pattern. | Jeremy Gibbons, Bruno C. d. S. Oliveira |
| 2006 | POPL | Fast and loose reasoning is morally correct. | Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons |
| 2005 | HASKELL | TypeCase: a design pattern for type-indexed functions. | Bruno C. d. S. Oliveira, Jeremy Gibbons |
| 2004 | MPC | Streaming Representation-Changers. | Jeremy Gibbons |
| 2003 | ICSE | On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. | Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever |
| 2002 | Coordination | Towards a Colimit-Based Semantics for Visual Programming. | Jeremy Gibbons |
| 1998 | ICFP | The Under-Appreciated Unfold. | Jeremy Gibbons, Geraint Jones |
| 1998 | MPC | Polytypic Downwards Accumulations. | Jeremy Gibbons |
| 1995 | MPC | An Initial-Algebra Approach to Directed Acyclic Graphs. | Jeremy Gibbons |
| 1992 | MPC | Upwards and Downwards Accumulations on Trees. | Jeremy Gibbons |