Follow
Graham Hutton
Graham Hutton
Professor of Computer Science, University of Nottingham
Verified email at nottingham.ac.uk - Homepage
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
3251992
Monadic parsing in Haskell
G Hutton, E Meijer
Journal of functional programming 8 (4), 437-444, 1998
2471998
A tutorial on the universality and expressiveness of fold
G Hutton
Journal of Functional Programming 9 (4), 355-372, 1999
2241999
Monadic parser combinators
G Hutton, E Meijer
2151996
Bananas in space: Extending fold and unfold to exponential types
E Meijer, G Hutton
Proceedings of the seventh international conference on Functional …, 1995
1571995
Fold and unfold for program semantics
G Hutton
ACM SIGPLAN Notices 34 (1), 280-288, 1998
791998
The worker/wrapper transformation
A Gill, G Hutton
Journal of Functional Programming 19 (2), 227-251, 2009
782009
Proof methods for corecursive programs
J Gibbons, G Hutton
Fundamenta Informaticae 66 (4), 353-366, 2005
722005
Categories, allegories and circuit design
C Brown, G Hutton
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 372-381, 1994
561994
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
472001
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
452008
Calculating an exceptional machine.
G Hutton, JJ Wright
Trends in Functional Programming 5, 49-64, 2004
432004
Compiling exceptions correctly
G Hutton, J Wright
Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004
382004
Modularity and implementation of mathematical operational semantics
M Jaskelioff, N Ghani, G Hutton
Electronic notes in theoretical computer science 229 (5), 75-95, 2011
322011
Calculating Correct Compilers
P Bahr, G Hutton
Journal of Functional Programming 25, 2015
292015
The generic approximation lemma
G Hutton, J Gibbons
Information Processing Letters 79 (4), 197-201, 2001
292001
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
262014
Factorising folds for faster functions
G Hutton, M Jaskelioff, A Gill
Journal of Functional Programming 20 (3-4), 353-373, 2010
262010
The system can't perform the operation now. Try again later.
Articles 1–20