logo
School of Computer Science
   
   
  
 

Image of Graham Hutton

Graham Hutton

Professor of Computer Science, Faculty of Science

Contact

Research Summary

Professor Hutton's research interests are in functional programming, with an emphasis on formally-based approaches to program construction and verification. His goal is to develop simple but powerful… read more

Recent Publications

Current Research

Professor Hutton's research interests are in functional programming, with an emphasis on formally-based approaches to program construction and verification. His goal is to develop simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. His research work covers a range of topics in this area, including functional parsing, relational programming, recursion operators, coinductive types, exceptions and interrupts, space and time complexity, concurrent programming, and program optimisation.

  • LAURENCE DAY and GRAHAM HUTTON, 2011. Towards Modular Compilers For Effects In: Proceedings of the Symposium on Trends in Functional Programming.
  • LIYANG HU and GRAHAM HUTTON, 2010. Compiling Concurrency Correctly: Cutting out the Middle Man. In: ZOLTAN HORVATH and VIKTORIA ZSOK, eds., Trends in Functional Programming Volume 10 Intellect.
  • GRAHAM HUTTON, MAURO JASKELIOFF and ANDY GILL, 2010. Factorising Folds for Faster Functions Journal of Functional Programming: Special Issue on Generic Programming. 20(3&4), 353-373
  • ANDY GILL and GRAHAM HUTTON, 2009. The Worker/Wrapper Transformation Journal of Functional Programming. 19(2), 227-251
  • LIYANG HU and GRAHAM HUTTON, 2009. Towards a Verified Implementation of Software Transactional Memory. In: PETER ACHTEN, PIETER KOOPMAN and MARCO MORAZAN, eds., Trends in Functional Programming Volume 9 Intellect.
  • GRAHAM HUTTON and DIANA FULGER, 2008. Reasoning About Effects: Seeing the Wood Through the Trees In: Proceedings of the Symposium on Trends in Functional Programming.
  • MAURO JASKELIOFF, NEIL GHANI and GRAHAM HUTTON, 2008. Modularity and Implementation of Mathematical Operational Semantics In: Proceedings of the Workshop on Mathematically Structured Functional Programming.
  • HUTTON, G. and WRIGHT, J., 2007. What is the meaning of these constant interruptions? Journal of Functional Programming. 17(6), 777-792
  • HUTTON, G., 2007. Programming in Haskell Cambridge University Press.
  • HOPE, C. and HUTTON, G.M., 2006. Accurate Step Counting In: Selected papers from the 17th International Workshop on Implementation and Application of Functional Languages.
  • HOPE, C. and HUTTON, G., 2006. Compact Fusiuon In: Proceedings of the Workshop on Mathematically Structured Functional Programming.
  • GIBBONS, J. and HUTTON, G., 2005. Proof Methods for Corecursive Programs Fundamenta Informaticae: Special Issue on Program Transformation. 66(4), 353-366
  • HUTTON, G.M., 2005. Report on BCTCS 2005
  • HUTTON, G. and WRIGHT, J., 2004. Compiling exceptions correctly. In: KOZEN, D. and SHANKLAND, C., eds., Mathematics of program construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 Berlin: Springer. 211-227
  • HUTTON, G.M. and WRIGHT, J., 2004. Calculating an exceptional machine In: Symposium on Trends in Functional Programming (TFP04), Munich, Germany, 25-26 November, 2004. 49-64
  • HUTTON, G., 2002. The countdown problem Journal of Functional Programming. 12(6), 609-616
  • HUTTON, G. and GIBBONS, J., 2001. The Generic Approximation Lemma Information Processing Letters. 79(4), 197-201
  • GIBBONS, J., HUTTON, G.M. and ALTENKIRCH, T., 2001. When is a Function a Fold or an Unfold? In: Proceedings of the 4th International Workshop on Coalgebraic Methods in Computer Science.
  • GIBBONS, J. and HUTTON, G.M., 1999. 1st Scottish Functional Programming Workshop In: Proof Methods for Structured Corecursive Programs.
  • HUTTON, G., 1999. A tutorial on the universality and expressiveness of fold Journal of Functional Programming. VOL 9(NUMBER 4), 355-372
  • HUTTON, G.M., 1998. Fold and Unfold for Program Semantics In: Proceedings of the 3rd ACM SIGPLAN.
  • HUTTON, G. and MEIJER, E., 1998. Monadic parsing in Haskell Journal of Functional Programming. VOL 8(NUMBER 4), 437-444
  • HUTTON, G.M., 1996. Monadic Parser Combinators University of Nottingham, Nottingham.
  • HUTTON, G. and MEIJER, E., 1996. Back to basics: Deriving representation changers functionally Journal of Functional Programming. VOL 6(NUMBER 1), 181-188
  • HUTTON, G.M., 1995. Review of "An Introduction to HOL" Journal of Functional Programming. 4((4)), 557-559
  • HUTTON, G.M., 1995. Bananas in Space: Extending Fold and Unfold Exponential Types In: Proceedings of the 7th SIGPLAN-Sigarch-WG2.8 International Conference on Functional Programming and Computer Architecture.
  • HUTTON, G.M. and BROWN, C., 1994. Categories, allegories and circuit design In: Proceedings of the 10th Annual IEEE symposium on Logic in Computer Science.
  • HUTTON, G.M., 1993. The Ruby Interpreter (72)
  • HUTTON, G.M., 1992. Higher-order Functions for Parsing Journal of Functional Programming. 2((3)), 323-343
  • HUTTON, G.M., 1992. Between Functions and Relations in Calculating Programs University of Glasgow, Glasgow, UK. (FP-93-5)
  • HUTTON, G.M., 1992. A Calculational Theory of Pers as Types University of Glasgow, Glasgow, UK. (R1)
  • HUTTON, G.M., 1992. A Relational Derivation of a Functional Program In: STOP Summer School on Constructive Algorithmics.
  • HUTTON, G.M., 1992. A Relational Derivation of a Functional Program In: STOP Summer School on Constructive Algorithmics.
  • HUTTON, G.M., 1992. Making Functionality More General In: Proceedings of the 1991 Glasgow Workshop on Functional Programming.
  • HUTTON, G.M., 1991. Functional Programming With Relations In: Proceedings of the 1990 Glasgow Workshop on Functional Programming.

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

telephone: +44 (0) 115 951 4251
fax: +44 (0) 115 951 4254
email: csit-enquiries@cs.nott.ac.uk