Graham Hutton

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 35

Top Topics

Top Venues

J. Funct. Program.

Proc. ACM Program. Lang.

Publications

Brandon Hewer, Graham Hutton
Quotient Haskell: Lightweight Quotient Types for All. Proc. ACM Program. Lang. 8 (POPL) (2024)
Zac Garby, Graham Hutton, Patrick Bahr
Calculating Compilers Effectively (Functional Pearl). Haskell (2024)
Graham Hutton
Programming language semantics: It's easy as 1,2,3. J. Funct. Program. 33 (2023)
Graham Hutton
PhD Abstracts. J. Funct. Program. 33 (2023)
Graham Hutton
PhD Abstracts. J. Funct. Program. 33 (2023)
Patrick Bahr, Graham Hutton
Calculating Compilers for Concurrency. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Patrick Bahr, Graham Hutton
Monadic compiler calculation (functional pearl). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Graham Hutton
PhD Abstracts. J. Funct. Program. 32 (2022)
Brandon Hewer, Graham Hutton
Subtyping Without Reduction. MPC (2022)
Graham Hutton
PhD Abstracts. J. Funct. Program. 32 (2022)
Graham Hutton
PhD Abstracts. J. Funct. Program. 32 (2022)
Graham Hutton
PhD Abstracts. J. Funct. Program. 31 (2021)
Graham Hutton
PhD Abstracts. J. Funct. Program. 31 (2021)
Mitchell Pickard, Graham Hutton
Calculating dependently-typed compilers (functional pearl). Proc. ACM Program. Lang. 5 (ICFP) (2021)
Graham Hutton
PhD Abstracts. J. Funct. Program. 30 (2020)
Martin A. T. Handley, Niki Vazou, Graham Hutton
Liquidate your assets: reasoning about resource usage in liquid Haskell. Proc. ACM Program. Lang. 4 (POPL) (2020)
Patrick Bahr, Graham Hutton
Calculating correct compilers II: Return of the register machines. J. Funct. Program. 30 (2020)
Graham Hutton
PhD Abstracts. J. Funct. Program. 30 (2020)
Graham Hutton
PhD Abstracts. J. Funct. Program. 29 (2019)
Graham Hutton
PhD Abstracts. J. Funct. Program. 29 (2019)
Jennifer Hackett, Graham Hutton
Call-by-need is clairvoyant call-by-value. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). Haskell@ICFP (2018)
Jennifer Hackett, Graham Hutton
Parametric polymorphism and operational improvement. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell). CoRR (2018)
Martin A. T. Handley, Graham Hutton
Improving Haskell. TFP (2018)
Martin A. T. Handley, Graham Hutton
AutoBench: comparing the time performance of Haskell programs. Haskell@ICFP (2018)
Graham Hutton
PhD Abstracts. J. Funct. Program. 28 (2018)
Jonathan Fowler, Graham Hutton
Failing Faster: Overlapping Patterns for Property-Based Testing. PADL (2017)
Graham Hutton
PhD Abstracts. J. Funct. Program. 27 (2017)
Graham Hutton, Patrick Bahr
Compiling a 50-year journey. J. Funct. Program. 27 (2017)
Graham Hutton
PhD Abstracts. J. Funct. Program. 27 (2017)
Graham Hutton
PhD Abstracts. J. Funct. Program. 26 (2016)
Graham Hutton, Patrick Bahr
Cutting Out Continuations. A List of Successes That Can Change the World (2016)
Venanzio Capretta, Graham Hutton, Mauro Jaskelioff
Contractive Functions on Infinite Data Structures. IFL (2016)
Graham Hutton
PhD Abstracts. J. Funct. Program. 26 (2016)
Graham Hutton
PhD abstracts. J. Funct. Program. 25 (2015)
Graham Hutton
PhD Abstracts. J. Funct. Program. 25 (2015)
Patrick Bahr, Graham Hutton
Calculating correct compilers. J. Funct. Program. 25 (2015)
Jennifer Hackett, Graham Hutton
Programs for Cheap! LICS (2015)
Jonathan Fowler, Graham Hutton
Towards a Theory of Reach. TFP (2015)
Graham Hutton
PhD Abstracts. J. Funct. Program. 25 (2015)
Graham Hutton
PhD Abstracts. J. Funct. Program. 24 (4) (2014)
Neil Sculthorpe, Graham Hutton
Work it, wrap it, fix it, fold it. J. Funct. Program. 24 (1) (2014)
Jennifer Hackett, Graham Hutton
Worker/wrapper/makes it/faster. ICFP (2014)
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
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
Laurence E. Day, Graham Hutton
Compilation à la Carte. IFL (2013)
Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
The Under-Performing Unfold: A new approach to optimising corecursive programs. IFL (2013)
Graham Hutton
SIGPLAN vice-chair's report. ACM SIGPLAN Notices 47 (4a) (2012)
Mauro Jaskelioff, Neil Ghani, Graham Hutton
Modularity and Implementation of Mathematical Operational Semantics. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Laurence E. Day, Graham Hutton
Towards Modular Compilers for Effects. Trends in Functional Programming (2011)
Graham Hutton, Mauro Jaskelioff, Andy Gill
Factorising folds for faster functions. J. Funct. Program. 20 (3-4) (2010)
Andy Gill, Graham Hutton
The worker/wrapper transformation. J. Funct. Program. 19 (2) (2009)
Liyang Hu, Graham Hutton
Compiling Concurrency Correctly: Cutting out the Middle Man. Trends in Functional Programming (2009)
Liyang Hu, Graham Hutton
Towards a Verified STM. Trends in Functional Programming (2008)
Graham Hutton, Joel J. Wright
What is the meaning of these constant interruptions? J. Funct. Program. 17 (6) (2007)
Catherine Hope, Graham Hutton
Compact Fusion. MSFP@MPC (2006)
Jeremy Gibbons, Graham Hutton
Proof Methods for Corecursive Programs. Fundam. Informaticae 66 (4) (2005)
Catherine Hope, Graham Hutton
Accurate Step Counting. IFL (2005)
Graham Hutton, Joel J. Wright
Compiling Exceptions Correctly. MPC (2004)
Graham Hutton, Joel J. Wright
Calculating an exceptional machine. Trends in Functional Programming (2004)
Graham Hutton
The countdown problem. J. Funct. Program. 12 (6) (2002)
Graham Hutton, Jeremy Gibbons
The generic approximation lemma. Inf. Process. Lett. 79 (4) (2001)
Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch
When is a function a fold or an unfold? CMCS (2001)
Graham Hutton
Preface. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Graham Hutton
A Tutorial on the Universality and Expressiveness of Fold. J. Funct. Program. 9 (4) (1999)
Graham Hutton, Erik Meijer
Monadic Parsing in Haskell. J. Funct. Program. 8 (4) (1998)
Graham Hutton
Fold and Unfold for Program Semantics. ICFP (1998)
Graham Hutton, M. Cripps, Dave Elliman, Colin Higgins
A Strategy for On-line Interpretation of Sketched Engineering Drawings. ICDAR (1997)
Graham Hutton, Erik Meijer
Back to Basics: Deriving Representation Changers Functionally. J. Funct. Program. 6 (1) (1996)
Erik Meijer, Graham Hutton
Bananas in Space: Extending Fold and Unfold to Exponential Types. FPCA (1995)
Carolyn Brown, Graham Hutton
Categories, Allegories and Circuit Design LICS (1994)
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) (1994)
Graham Hutton
Higher-Order Functions for Parsing. J. Funct. Program. 2 (3) (1992)
Graham Hutton, Ed Voermans
Making Functionality More General. Functional Programming (1991)
Graham Hutton
Functional Programming with Relations. Functional Programming (1990)
Graham Hutton
Parsing Using Combinators. Functional Programming (1989)