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

Programming in Haskell G Hutton Cambridge University Press, 2007 | 202 | 2007 |

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

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

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

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

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

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

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

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

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

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

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

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

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

The countdown problem G Hutton Journal of Functional Programming 12 (06), 609-616, 2002 | 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, 2011 | 15 | 2011 |

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

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