Higher-order functions for parsing G Hutton J. Funct. Program. 2 (3), 323-343 | 233 | | 1992 |

Programming in Haskell G Hutton Cambridge University Press | 203 | | 2007 |

FUNCTIONAL PEARL-Monadic parsing in Haskell G Hutton, E Meijer Journal of functional programming 8 (4), 437-444 | 173 | ∗ | 1998 |

Bananas in space: Extending fold and unfold to exponential types E Meijer, G Hutton Proceedings of the seventh international conference on Functional ... | 149 | | 1995 |

Monadic parser combinators G Hutton, E Meijer School of Computer Science and IT | 130 | | 1996 |

A tutorial on the universality and expressiveness of fold G Hutton Journal of Functional Programming 9 (04), 355-372 | 125 | | 1999 |

Fold and unfold for program semantics G Hutton ACM SIGPLAN Notices 34 (1), 280-288 | 56 | | 1998 |

Proof methods for corecursive programs J Gibbons, G Hutton Fundamenta Informaticae 66 (4), 353-366 | 47 | | 2005 |

The worker/wrapper transformation A Gill, G Hutton Journal of Functional Programming 19 (02), 227-251 | 44 | | 2009 |

Categories, allegories and circuit design C Brown, G Hutton Logic in Computer Science, 1994. LICS'94. Proceedings., Symposium on, 372-381 | 44 | | 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 | 38 | | 2001 |

Calculating an exceptional machine. G Hutton, J Wright Trends in Functional Programming 5 | 30 | | 2004 |

Compiling exceptions correctly G Hutton, J Wright Mathematics of Program Construction, 211-227 | 28 | | 2004 |

Between functions and relations in calculating programs GM Hutton University of Glasgow | 23 | | 1992 |

The generic approximation lemma G Hutton, J Gibbons Information Processing Letters 79 (4), 197-201 | 20 | | 2001 |

Reasoning about effects: Seeing the wood through the trees G Hutton, D Fulger Proceedings of the Ninth Symposium on Trends in Functional Programming | 19 | | 2008 |

The countdown problem G Hutton Journal of Functional Programming 12 (06), 609-616 | 18 | | 2002 |

Modularity and implementation of mathematical operational semantics M Jaskelioff, N Ghani, G Hutton Electronic notes in theoretical computer science 229 (5), 75-95 | 14 | | 2011 |

Factorising folds for faster functions G Hutton, M Jaskelioff, A Gill Journal of Functional Programming 20 (3-4), 353-373 | 14 | | 2010 |

Proof methods for structured corecursive programs J Gibbons, G Hutton | 14 | | 1999 |