Graham Hutton

Cited by

	All	Since 2020
Citations	2994	551
h-index	24	12
i10-index	38	13

160

120

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 15 18 37 41 25 46 55 47 52 53 43 70 76 83 82 136 143 117 144 135 129 126 142 131 124 138 156 83 106 105 117 119 20

Public access

View all

14 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Erik MeijerMicrosoftVerified email at meijcrosoft.com
Patrick BahrIT University of CopenhagenVerified email at itu.dk
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Jennifer HackettSchool of Computer Science, University of NottinghamVerified email at nottingham.ac.uk
Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de RosarioVerified email at fceia.unr.edu.ar
Andy GillCerebrasVerified email at cerebras.net
Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
Ed VoermansProduct Owner, ABN AMRO Bank N.V.Verified email at nl.abnamro.com
Laurence E. DayUniversity of LeedsVerified email at leeds.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Joachim BreitnerLean FROVerified email at joachim-breitner.de
David Van HornUniversity of MarylandVerified email at cs.umd.edu
Neil SculthorpeNottingham Trent UniversityVerified email at ntu.ac.uk
Mitchell PickardPhD Student, University of NottinghamVerified email at nottingham.ac.uk
Venanzio CaprettaNottingham UniversityVerified email at duplavis.com
Zac GarbyPhD Student, University of NottinghamVerified email at nottingham.ac.uk

Graham Hutton

Professor of Computer Science, University of Nottingham

Verified email at nottingham.ac.uk - Homepage

Haskell Program Transformation Functional Programming Category Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programming in Haskell G Hutton Cambridge University Press, 2016	628*	2016
Higher-order functions for parsing G Hutton Journal of functional programming 2 (3), 323-343, 1992	338	1992
Monadic parsing in Haskell G Hutton, E Meijer Journal of functional programming 8 (4), 437-444, 1998	248	1998
A tutorial on the universality and expressiveness of fold G Hutton Journal of Functional Programming 9 (4), 355-372, 1999	246	1999
Monadic parser combinators G Hutton, E Meijer	225	1996
Bananas in space: Extending fold and unfold to exponential types E Meijer, G Hutton Proceedings of the seventh international conference on Functional …, 1995	159	1995
The worker/wrapper transformation A Gill, G Hutton Journal of Functional Programming 19 (2), 227-251, 2009	87	2009
Fold and unfold for program semantics G Hutton ACM SIGPLAN Notices 34 (1), 280-288, 1998	83	1998
Proof methods for corecursive programs J Gibbons, G Hutton Fundamenta Informaticae 66 (4), 353-366, 2005	70	2005
Categories, allegories and circuit design C Brown, G Hutton Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 372-381, 1994	59	1994
Liquidate your assets: reasoning about resource usage in liquid haskell MAT Handley, N Vazou, G Hutton Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019	48	2019
When is a function a fold or an unfold? J Gibbons, G Hutton, T Altenkirch Electronic notes in theoretical computer science 44 (1), 146-160, 2001	48	2001
Calculating Correct Compilers P Bahr, G Hutton Journal of Functional Programming 25, 2015	45	2015
Reasoning about effects: Seeing the wood through the trees G Hutton, D Fulger Proceedings of the Ninth Symposium on Trends in Functional Programming 105, 2008	44	2008
Calculating an exceptional machine G Hutton, J Wright Intellect, 2006	44	2006
Compiling exceptions correctly G Hutton, J Wright International Conference on Mathematics of Program Construction, 211-227, 2004	44	2004
Modularity and implementation of mathematical operational semantics M Jaskelioff, N Ghani, G Hutton Electronic notes in theoretical computer science 229 (5), 75-95, 2011	34	2011
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) N Vazou, J Breitner, R Kunkel, D Van Horn, G Hutton Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 132-144, 2018	33	2018
The generic approximation lemma G Hutton, J Gibbons Information Processing Letters 79 (4), 197-201, 2001	29	2001
Factorising folds for faster functions G Hutton, M Jaskelioff, A Gill Journal of Functional Programming 20 (3-4), 353-373, 2010	28	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors