| 2025 | HASKELL | The Calculated Typer (Functional Pearl). | Zac Garby, Patrick Bahr, Graham Hutton |
| 2024 | HASKELL | Calculating Compilers Effectively (Functional Pearl). | Zac Garby, Graham Hutton, Patrick Bahr |
| 2022 | MPC | Subtyping Without Reduction. | Brandon Hewer, Graham Hutton |
| 2018 | HASKELL | AutoBench: comparing the time performance of Haskell programs. | Martin A. T. Handley, Graham Hutton |
| 2018 | HASKELL | Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). | Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton |
| 2017 | PADL | Failing Faster: Overlapping Patterns for Property-Based Testing. | Jonathan Fowler, Graham Hutton |
| 2015 | LICS | Programs for Cheap! | Jennifer Hackett, Graham Hutton |
| 2014 | ICFP | Worker/wrapper/makes it/faster. | Jennifer Hackett, Graham Hutton |
| 2006 | MPC | Compact Fusion. | Catherine Hope, Graham Hutton |
| 2004 | MPC | Compiling Exceptions Correctly. | Graham Hutton, Joel J. Wright |
| 1998 | ICFP | Fold and Unfold for Program Semantics. | Graham Hutton |
| 1997 | ICDAR | A Strategy for On-line Interpretation of Sketched Engineering Drawings. | Graham Hutton, M. Cripps, Dave Elliman, Colin Higgins |
| 1994 | LICS | Categories, Allegories and Circuit Design | Carolyn Brown, Graham Hutton |