Parsing Using Combinators. - Graham Hutton (Functional Programming, 1989)

Functional Programming with Relations. - Graham Hutton (Functional Programming, 1990)

Making Functionality More General. - Graham Hutton; Ed Voermans (Functional Programming, 1991)

Higher-Order Functions for Parsing. - Graham Hutton (J. Funct. Program., 1992)

Between functions and relations in calculating programs. - Graham Hutton (1992)

Categories, Allegories and Circuit Design - Carolyn Brown; Graham Hutton (LICS, 1994)

Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7. - Graham Hutton (J. Funct. Program., 1994)

Bananas in Space: Extending Fold and Unfold to Exponential Types. - Erik Meijer 001; Graham Hutton (FPCA, 1995)

Back to Basics: Deriving Representation Changers Functionally. - Graham Hutton; Erik Meijer 001 (J. Funct. Program., 1996)

A Strategy for On-line Interpretation of Sketched Engineering Drawings. - Graham Hutton; M. Cripps; Dave Elliman; Colin Higgins (ICDAR, 1997)

Fold and Unfold for Program Semantics. - Graham Hutton (ICFP, 1998)

Monadic Parsing in Haskell. - Graham Hutton; Erik Meijer 001 (J. Funct. Program., 1998)

A Tutorial on the Universality and Expressiveness of Fold. - Graham Hutton (J. Funct. Program., 1999)

Preface. - Graham Hutton (Haskell, 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)

The countdown problem. - Graham Hutton (J. Funct. Program., 2002)

Compiling Exceptions Correctly. - Graham Hutton; Joel J. Wright (MPC, 2004)

Calculating an exceptional machine. - Graham Hutton; Joel J. Wright (Trends in Functional Programming, 2004)

Accurate Step Counting. - Catherine Hope; Graham Hutton (IFL, 2005)

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

Compact Fusion. - Catherine Hope; Graham Hutton (MSFP@MPC, 2006)

What is the meaning of these constant interruptions? - Graham Hutton; Joel J. Wright (J. Funct. Program., 2007)

Towards a Verified STM. - Liyang Hu; Graham Hutton (Trends in Functional Programming, 2008)

Modularity and Implementation of Mathematical Operational Semantics. - Mauro Jaskelioff; Neil Ghani; Graham Hutton (MSFP@ICALP, 2008)

Compiling Concurrency Correctly: Cutting out the Middle Man. - Liyang Hu; Graham Hutton (Trends in Functional Programming, 2009)

The worker/wrapper transformation. - Andy Gill; Graham Hutton (J. Funct. Program., 2009)

Factorising folds for faster functions. - Graham Hutton; Mauro Jaskelioff; Andy Gill (J. Funct. Program., 2010)

Towards Modular Compilers for Effects. - Laurence E. Day; Graham Hutton (Trends in Functional Programming, 2011)

SIGPLAN vice-chair's report. - Graham Hutton (ACM SIGPLAN Notices, 2012)

Compilation à la Carte. - Laurence E. Day; Graham Hutton (IFL, 2013)

The Under-Performing Unfold: A new approach to optimising corecursive programs. - Jennifer Hackett; Graham Hutton; Mauro Jaskelioff (IFL, 2013)

Worker/wrapper/makes it/faster. - Jennifer Hackett; Graham Hutton (ICFP, 2014)

Work it, wrap it, fix it, fold it. - Neil Sculthorpe; Graham Hutton (J. Funct. 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)

Programs for Cheap! - Jennifer Hackett; Graham Hutton (LICS, 2015)

Towards a Theory of Reach. - Jonathan Fowler; Graham Hutton (TFP, 2015)

Calculating correct compilers. - Patrick Bahr; Graham Hutton (J. Funct. Program., 2015)

Cutting Out Continuations. - Graham Hutton; Patrick Bahr (A List of Successes That Can Change the World, 2016)

Contractive Functions on Infinite Data Structures. - Venanzio Capretta; Graham Hutton; Mauro Jaskelioff (IFL, 2016)

PhD Abstracts. - Graham Hutton (J. Funct. Program., 2016)

Failing Faster: Overlapping Patterns for Property-Based Testing. - Jonathan Fowler; Graham Hutton (PADL, 2017)

Compiling a 50-year journey. - Graham Hutton; Patrick Bahr (J. Funct. Program., 2017)

AutoBench: comparing the time performance of Haskell programs. - Martin A. T. Handley; Graham Hutton (Haskell@ICFP, 2018)

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). - Niki Vazou; Joachim Breitner; Rose Kunkel; David Van Horn; Graham Hutton (Haskell@ICFP, 2018)

Improving Haskell. - Martin A. T. Handley; Graham Hutton (TFP, 2018)

Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell). - Niki Vazou; Joachim Breitner; Will Kunkel; David Van Horn; Graham Hutton (CoRR, 2018)

Parametric polymorphism and operational improvement. - Jennifer Hackett; Graham Hutton (Proc. ACM Program. Lang., 2018)

Call-by-need is clairvoyant call-by-value. - Jennifer Hackett; Graham Hutton (Proc. ACM Program. Lang., 2019)

Calculating correct compilers II: Return of the register machines. - Patrick Bahr; Graham Hutton (J. Funct. Program., 2020)

Liquidate your assets: reasoning about resource usage in liquid Haskell. - Martin A. T. Handley; Niki Vazou; Graham Hutton (Proc. ACM Program. Lang., 2020)

Calculating dependently-typed compilers (functional pearl). - Mitchell Pickard; Graham Hutton (Proc. ACM Program. Lang., 2021)

Subtyping Without Reduction. - Brandon Hewer; Graham Hutton (MPC, 2022)

Monadic compiler calculation (functional pearl). - Patrick Bahr; Graham Hutton (Proc. ACM Program. Lang., 2022)

Programming language semantics: It's easy as 1,2,3. - Graham Hutton (J. Funct. Program., 2023)

Calculating Compilers for Concurrency. - Patrick Bahr; Graham Hutton (Proc. ACM Program. Lang., 2023)

Calculating Compilers Effectively (Functional Pearl). - Zac Garby; Graham Hutton; Patrick Bahr (Haskell, 2024)

Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl). - Patrick Bahr; Graham Hutton (Proc. ACM Program. Lang., 2024)

Quotient Haskell: Lightweight Quotient Types for All. - Brandon Hewer; Graham Hutton (Proc. ACM Program. Lang., 2024)