Scholar Home



 Follow this author
2 Followers


Citation indices
 AllSince 2009
Citations1539673
h-index1714
i10-index2416
Citations to my articles
Citations to my articles
Show: 1-20Next >
Title / AuthorCited by Year
Higher-order functions for parsing
G Hutton
J. Funct. Program. 2 (3), 323-343
2331992
Programming in Haskell
G Hutton
Cambridge University Press
2032007
FUNCTIONAL PEARL-Monadic parsing in Haskell
G Hutton, E Meijer
Journal of functional programming 8 (4), 437-444
1731998
Bananas in space: Extending fold and unfold to exponential types
E Meijer, G Hutton
Proceedings of the seventh international conference on Functional ...
1491995
Monadic parser combinators
G Hutton, E Meijer
School of Computer Science and IT
1301996
A tutorial on the universality and expressiveness of fold
G Hutton
Journal of Functional Programming 9 (04), 355-372
1251999
Fold and unfold for program semantics
G Hutton
ACM SIGPLAN Notices 34 (1), 280-288
561998
Proof methods for corecursive programs
J Gibbons, G Hutton
Fundamenta Informaticae 66 (4), 353-366
472005
The worker/wrapper transformation
A Gill, G Hutton
Journal of Functional Programming 19 (02), 227-251
442009
Categories, allegories and circuit design
C Brown, G Hutton
Logic in Computer Science, 1994. LICS'94. Proceedings., Symposium on, 372-381
441994
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
382001
Calculating an exceptional machine.
G Hutton, J Wright
Trends in Functional Programming 5
302004
Compiling exceptions correctly
G Hutton, J Wright
Mathematics of Program Construction, 211-227
282004
Between functions and relations in calculating programs
GM Hutton
University of Glasgow
231992
The generic approximation lemma
G Hutton, J Gibbons
Information Processing Letters 79 (4), 197-201
202001
Reasoning about effects: Seeing the wood through the trees
G Hutton, D Fulger
Proceedings of the Ninth Symposium on Trends in Functional Programming
192008
The countdown problem
G Hutton
Journal of Functional Programming 12 (06), 609-616
182002
Modularity and implementation of mathematical operational semantics
M Jaskelioff, N Ghani, G Hutton
Electronic notes in theoretical computer science 229 (5), 75-95
142011
Factorising folds for faster functions
G Hutton, M Jaskelioff, A Gill
Journal of Functional Programming 20 (3-4), 353-373
142010
Proof methods for structured corecursive programs
J Gibbons, G Hutton
141999
Show: 1-20Next >
Dates and citation counts are estimated and are determined automatically by a computer program.
©2013 Google - About Google Scholar - All About Google - Provide feedback - My Citations