Graham Hutton

Mauro Jaskelioff, Neil Ghani, Graham Hutton: Modularity and Implementation of Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 229(5): 75-95 (2011)

Graham Hutton, Mauro Jaskelioff, Andy Gill: Factorising folds for faster functions. J. Funct. Program. 20(3-4): 353-373 (2010)

Andy Gill, Graham Hutton: The worker/wrapper transformation. J. Funct. Program. 19(2): 227-251 (2009)

Graham Hutton, Andrew P. Tolmach (Eds.): Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. ACM 2009, isbn 978-1-60558-332-7

Graham Hutton, Joel Wright: What is the meaning of these constant interruptions? J. Funct. Program. 17(6): 777-792 (2007)

Jeremy Gibbons, Graham Hutton: Proof Methods for Corecursive Programs. Fundam. Inform. 66(4): 353-366 (2005)

Catherine Hope, Graham Hutton: Accurate Step Counting. IFL 2005: 91-105

Graham Hutton, Joel Wright: Compiling Exceptions Correctly. MPC 2004: 211-227

Graham Hutton, Joel Wright: Calculating an exceptional machine. Trends in Functional Programming 2004: 49-64

Graham Hutton: The countdown problem. J. Funct. Program. 12(6): 609-616 (2002)

Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch: When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci. 44(1): 146-160 (2001)

Graham Hutton, Jeremy Gibbons: The generic approximation lemma. Inf. Process. Lett. 79(4): 197-201 (2001)

Graham Hutton: Preface. Electr. Notes Theor. Comput. Sci. 41(1): 2 (2000)

Graham Hutton: A Tutorial on the Universality and Expressiveness of Fold. J. Funct. Program. 9(4): 355-372 (1999)

Graham Hutton, Erik Meijer: Monadic Parsing in Haskell. J. Funct. Program. 8(4): 437-444 (1998)

Graham Hutton: Fold and Unfold for Program Semantics. ICFP 1998: 280-288

Graham Hutton, M. Cripps, Dave Elliman, Colin Higgins: A Strategy for On-line Interpretation of Sketched Engineering Drawings. ICDAR 1997: 771-775

Graham Hutton, Erik Meijer: Back to Basics: Deriving Representation Changers Functionally. J. Funct. Program. 6(1): 181-188 (1996)

Erik Meijer, Graham Hutton: Bananas in Space: Extending Fold and Unfold to Exponential Types. FPCA 1995: 324-333

Graham Hutton: 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. J. Funct. Program. 4(4): 557-559 (1994)

Carolyn Brown, Graham Hutton: Categories, Allegories and Circuit Design. LICS 1994: 372-381

Graham Hutton: Higher-Order Functions for Parsing. J. Funct. Program. 2(3): 323-343 (1992)

Graham Hutton, Ed Voermans: Making Functionality More General. Functional Programming 1991: 177-190

Graham Hutton: Parsing Using Combinators. Functional Programming 1989: 353-370