Graham Hutton

Cited by

	All	Since 2018
Citations	2757	602
h-index	23	11
i10-index	36	14

160

120

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202323 17 16 34 38 28 39 57 46 50 56 37 84 65 88 83 137 139 125 144 129 136 130 142 126 125 140 156 86 102 108 8

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Erik MeijerMicrosoftVerified email at meijcrosoft.com
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
Patrick BahrAssociate Professor, IT University of CopenhagenVerified email at itu.dk
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
Joachim BreitnerunaffiliatedVerified email at joachim-breitner.de
David Van HornUniversity of MarylandVerified email at cs.umd.edu
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Laurence E. DayUniversity of NottinghamVerified email at cs.nott.ac.uk
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

Graham Hutton

Professor of Computer Science, University of Nottingham

Verified email at nottingham.ac.uk - Homepage

Functional Programming Program Transformation Program Verification 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	588*	2016
Higher-order functions for parsing G Hutton Journal of functional programming 2 (3), 323-343, 1992	325	1992
Monadic parsing in Haskell G Hutton, E Meijer Journal of functional programming 8 (4), 437-444, 1998	247	1998
A tutorial on the universality and expressiveness of fold G Hutton Journal of Functional Programming 9 (4), 355-372, 1999	224	1999
Monadic parser combinators G Hutton, E Meijer	215	1996
Bananas in space: Extending fold and unfold to exponential types E Meijer, G Hutton Proceedings of the seventh international conference on Functional …, 1995	157	1995
Fold and unfold for program semantics G Hutton ACM SIGPLAN Notices 34 (1), 280-288, 1998	79	1998
The worker/wrapper transformation A Gill, G Hutton Journal of Functional Programming 19 (2), 227-251, 2009	78	2009
Proof methods for corecursive programs J Gibbons, G Hutton Fundamenta Informaticae 66 (4), 353-366, 2005	72	2005
Categories, allegories and circuit design C Brown, G Hutton Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 372-381, 1994	56	1994
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	47	2001
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	45	2008
Calculating an exceptional machine. G Hutton, JJ Wright Trends in Functional Programming 5, 49-64, 2004	43	2004
Compiling exceptions correctly G Hutton, J Wright Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004	38	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	32	2011
Calculating Correct Compilers P Bahr, G Hutton Journal of Functional Programming 25, 2015	29	2015
The generic approximation lemma G Hutton, J Gibbons Information Processing Letters 79 (4), 197-201, 2001	29	2001
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	27*	2018
Worker/wrapper/makes it/faster J Hackett, G Hutton 19th ACM SIGPLAN International Conference on Functional Programming, 2014	26	2014
Factorising folds for faster functions G Hutton, M Jaskelioff, A Gill Journal of Functional Programming 20 (3-4), 353-373, 2010	26	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