Graham Hutton

89 papers A* 2A 8B 3C 5Journal 52Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Quotient Polymorphism.
Proc. ACM Program. Lang.
Brandon Hewer, Graham Hutton
2025 J jnl
JFP special issue on program calculation.
J. Funct. Program.
Graham Hutton, Nicolas Wu
2025 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2025 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2025 C conf
The Calculated Typer (Functional Pearl).
Haskell
Zac Garby, Patrick Bahr, Graham Hutton
2024 J jnl
Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl).
Proc. ACM Program. Lang.
Patrick Bahr, Graham Hutton
2024 C conf
Calculating Compilers Effectively (Functional Pearl).
Haskell
Zac Garby, Graham Hutton, Patrick Bahr
2024 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2024 J jnl
Quotient Haskell: Lightweight Quotient Types for All.
Proc. ACM Program. Lang.
Brandon Hewer, Graham Hutton
2023 J jnl
Calculating Compilers for Concurrency.
Proc. ACM Program. Lang.
Patrick Bahr, Graham Hutton
2023 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2023 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2023 — ed.
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2023, Seattle, WA, USA, 8 September 2023
FUNARCH
Michael Sperber, Graham Hutton
2023 J jnl
Programming language semantics: It's easy as 1,2,3.
J. Funct. Program.
Graham Hutton
2022 J jnl
Monadic compiler calculation (functional pearl).
Proc. ACM Program. Lang.
Patrick Bahr, Graham Hutton
2022 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2022 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2022 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2022 B conf
Subtyping Without Reduction.
MPC
Brandon Hewer, Graham Hutton
2021 J jnl
Calculating dependently-typed compilers (functional pearl).
Proc. ACM Program. Lang.
Mitchell Pickard, Graham Hutton
2021 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2021 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2020 J jnl
Calculating correct compilers II: Return of the register machines.
J. Funct. Program.
Patrick Bahr, Graham Hutton
2020 J jnl
Liquidate your assets: reasoning about resource usage in liquid Haskell.
Proc. ACM Program. Lang.
Martin A. T. Handley, Niki Vazou, Graham Hutton
2020 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2020 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2019 J jnl
Call-by-need is clairvoyant call-by-value.
Proc. ACM Program. Lang.
Jennifer Hackett, Graham Hutton
2019 B ed.
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
MPC
Graham Hutton
2019 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2019 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2018 — conf
AutoBench: comparing the time performance of Haskell programs.
Haskell@ICFP
Martin A. T. Handley, Graham Hutton
2018 J jnl
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell).
CoRR
Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
2018 — conf
Improving Haskell.
TFP
Martin A. T. Handley, Graham Hutton
2018 J jnl
Parametric polymorphism and operational improvement.
Proc. ACM Program. Lang.
Jennifer Hackett, Graham Hutton
2018 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2018 — conf
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).
Haskell@ICFP
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton
2017 J jnl
Compiling a 50-year journey.
J. Funct. Program.
Graham Hutton, Patrick Bahr
2017 C conf
Failing Faster: Overlapping Patterns for Property-Based Testing.
PADL
Jonathan Fowler, Graham Hutton
2017 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2017 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2016 — conf
Contractive Functions on Infinite Data Structures.
IFL
Venanzio Capretta, Graham Hutton, Mauro Jaskelioff
2016 — conf
Cutting Out Continuations.
A List of Successes That Can Change the World
Graham Hutton, Patrick Bahr
2016 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2016 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2015 J jnl
Calculating correct compilers.
J. Funct. Program.
Patrick Bahr, Graham Hutton
2015 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2015 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2015 J jnl
PhD abstracts.
J. Funct. Program.
Graham Hutton
2015 A* conf
Programs for Cheap!
LICS
Jennifer Hackett, Graham Hutton
2015 — conf
Towards a Theory of Reach.
TFP
Jonathan Fowler, Graham Hutton
2014 J jnl
PhD Abstracts.
J. Funct. Program.
Graham Hutton
2014 J jnl
Practices of PLDI.
ACM SIGPLAN Notices
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
2014 J jnl
Work it, wrap it, fix it, fold it.
J. Funct. Program.
Neil Sculthorpe, Graham Hutton
2014 A conf
Worker/wrapper/makes it/faster.
ICFP
Jennifer Hackett, Graham Hutton
2013 — conf
Compilation à la Carte.
IFL
Laurence E. Day, Graham Hutton
2013 — conf
The Under-Performing Unfold: A new approach to optimising corecursive programs.
IFL
Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
2012 J jnl
SIGPLAN vice-chair's report.
ACM SIGPLAN Notices
Graham Hutton
2011 — conf
Towards Modular Compilers for Effects.
Trends in Functional Programming
Laurence E. Day, Graham Hutton
2010 J jnl
Factorising folds for faster functions.
J. Funct. Program.
Graham Hutton, Mauro Jaskelioff, Andy Gill
2009 — conf
Compiling Concurrency Correctly: Cutting out the Middle Man.
Trends in Functional Programming
Liyang Hu, Graham Hutton
2009 A ed.
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009
ICFP
Graham Hutton, Andrew P. Tolmach
2009 J jnl
The worker/wrapper transformation.
J. Funct. Program.
Andy Gill, Graham Hutton
2008 — conf
Modularity and Implementation of Mathematical Operational Semantics.
MSFP@ICALP
Mauro Jaskelioff, Neil Ghani, Graham Hutton
2008 — conf
Towards a Verified STM.
Trends in Functional Programming
Liyang Hu, Graham Hutton
2007 J jnl
What is the meaning of these constant interruptions?
J. Funct. Program.
Graham Hutton, Joel J. Wright
2006 — conf
Compact Fusion.
MSFP@MPC
Catherine Hope, Graham Hutton
2005 — conf
Accurate Step Counting.
IFL
Catherine Hope, Graham Hutton
2005 J jnl
Proof Methods for Corecursive Programs.
Fundam. Informaticae
Jeremy Gibbons, Graham Hutton
2004 — conf
Calculating an exceptional machine.
Trends in Functional Programming
Graham Hutton, Joel J. Wright
2004 B conf
Compiling Exceptions Correctly.
MPC
Graham Hutton, Joel J. Wright
2002 J jnl
The countdown problem.
J. Funct. Program.
Graham Hutton
2001 J jnl
The generic approximation lemma.
Inf. Process. Lett.
Graham Hutton, Jeremy Gibbons
2001 — conf
When is a function a fold or an unfold?
CMCS
Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch
2000 C conf
Preface.
Haskell
Graham Hutton
2000 C ed.
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000
Haskell
Graham Hutton
1999 J jnl
A Tutorial on the Universality and Expressiveness of Fold.
J. Funct. Program.
Graham Hutton
1998 A conf
Fold and Unfold for Program Semantics.
ICFP
Graham Hutton
1998 J jnl
Monadic Parsing in Haskell.
J. Funct. Program.
Graham Hutton, Erik Meijer
1997 A conf
A Strategy for On-line Interpretation of Sketched Engineering Drawings.
ICDAR
Graham Hutton, M. Cripps, Dave Elliman, Colin Higgins
1996 J jnl
Back to Basics: Deriving Representation Changers Functionally.
J. Funct. Program.
Graham Hutton, Erik Meijer
1995 — conf
Bananas in Space: Extending Fold and Unfold to Exponential Types.
FPCA
Erik Meijer, Graham Hutton
1994 J jnl
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.
Graham Hutton
1994 A* conf
Categories, Allegories and Circuit Design
LICS
Carolyn Brown, Graham Hutton
1992 — —
Between functions and relations in calculating programs.
Graham Hutton
1992 J jnl
Higher-Order Functions for Parsing.
J. Funct. Program.
Graham Hutton
1991 A conf
Making Functionality More General.
Functional Programming
Graham Hutton, Ed Voermans
1991 A ed.
Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990
Functional Programming
Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst
1990 A conf
Functional Programming with Relations.
Functional Programming
Graham Hutton
1989 A conf
Parsing Using Combinators.
Functional Programming
Graham Hutton