糖心原创

School of Computer Science
 

Image of Graham Hutton

Graham Hutton

Professor of Computer Science, Faculty of Science

Contact

Biography

Graham Hutton is Professor of Computer Science at the 糖心原创, where he co-leads the Functional Programming Lab. The aim of his research is to develop simple but powerful techniques for writing and reasoning about computer programs, by recognising and exploiting their underlying mathematical structure. Most of his work takes place in the context of functional languages such as Haskell and Agda.

Professor Hutton is director of the Midlands Graduate School, an editor of the Journal of Functional Programming, and an ACM distinguished scientist. He has also served as vice-chair of the ACM Special Interest Group on Programming Languages, steering committee chair of the International Conference on Functional Programming, program committee chair of the Haskell Symposium, and board member of the Haskell Foundation.

Recent Publications

  • JENNIFER HACKETT and GRAHAM HUTTON, 2018. In: Proceedings of the 23rd ACM SIGPLAN International Conference on Functional Programming.
  • JONATHAN FOWLER and GRAHAM HUTTON, 2017. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages.
  • VENANZIO CAPRETTA, GRAHAM HUTTON and MAURO JASKELIOFF, 2017. In: Proceedings of the 28th Symposium on Implementation and Application of Functional Languages.
  • GRAHAM HUTTON and PATRICK BAHR, 2017. Journal of Functional Programming. 27,
  • JENNIFER HACKETT and GRAHAM HUTTON, 2018. In: Proceedings of the 23rd ACM SIGPLAN International Conference on Functional Programming.
  • JONATHAN FOWLER and GRAHAM HUTTON, 2017. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages.
  • VENANZIO CAPRETTA, GRAHAM HUTTON and MAURO JASKELIOFF, 2017. In: Proceedings of the 28th Symposium on Implementation and Application of Functional Languages.
  • GRAHAM HUTTON and PATRICK BAHR, 2017. Journal of Functional Programming. 27,
  • GRAHAM HUTTON and PATRICK BAHR, 2016. In: WadlerFest, A List of Successes That Can Change the World.
  • GRAHAM HUTTON, 2016. 2nd Edition. Cambridge University Press.
  • PATRICK BAHR and GRAHAM HUTTON, 2015. Journal of Functional Programming. 25,
  • JENNIFER HACKETT and GRAHAM HUTTON, 2015. In: Proceedings of the Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science.
  • JONATHAN FOWLER and GRAHAM HUTTON, 2015. In: Proceedings of the Symposium on Trends in Functionial Programming.
  • JENNIFER HACKETT and GRAHAM HUTTON, 2014. In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming.
  • NEIL SCULTHORPE and GRAHAM HUTTON, 2014. Journal of Functional Programming. 24(1), 113-127
  • JENNIFER HACKETT, GRAHAM HUTTON and MAURO JASKELIOFF, 2013. In: Proceedings of the 25th Symposium on Implementation and Application of Functional Languages.
  • LAURENCE E. DAY and GRAHAM HUTTON, 2013. In: Proceedings of the 25th Symposium on Implementation and Application of Functional Languages.
  • DAY, L. and HUTTON, G., 2011. . In: PE脩A, R. and PAGE, R., eds., Trends in functional programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers Springer. 49-64
  • HU, L. and HUTTON, G., 2010. . In: HORVATH, Z. and ZSOK, V., eds., Trends in functional programming. Volume 10 Intellect. 17-32
  • HUTTON, G., JASKELIOFF, M. and GILL, A., 2010. Journal of Functional Programming. 20(3-4), 353-373
  • GILL, A. and HUTTON, G., 2009. Journal of Functional Programming. 19(2), 227-251
  • LIYANG HU and GRAHAM HUTTON, 2009. . In: PETER ACHTEN, PIETER KOOPMAN and MARCO MORAZAN, eds., Trends in Functional Programming Volume 9 Intellect.
  • HUTTON, G. and FULGER, D., 2008. In: Proceedings of the Symposium on Trends in Functional Programming.
  • MAURO JASKELIOFF, NEIL GHANI and GRAHAM HUTTON, 2008. In: Proceedings of the Workshop on Mathematically Structured Functional Programming.
  • HUTTON, G. and WRIGHT, J., 2007. Journal of Functional Programming. 17(6), 777-792
  • HUTTON, G., 2007. Cambridge University Press.
  • HOPE, C. and HUTTON, G.M., 2006. In: Selected papers from the 17th International Workshop on Implementation and Application of Functional Languages.
  • HOPE, C. and HUTTON, G., 2006. In: Proceedings of the Workshop on Mathematically Structured Functional Programming.
  • GIBBONS, J. and HUTTON, G., 2005. Fundamenta Informaticae: Special Issue on Program Transformation. 66(4), 353-366
  • HUTTON, G.M., 2005.
  • HUTTON, G. and WRIGHT, J., 2004. . 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. In: Symposium on Trends in Functional Programming (TFP04), Munich, Germany, 25-26 November, 2004. 49-64
  • HUTTON, G., 2002. Journal of Functional Programming. 12(6), 609-616
  • HUTTON, G. and GIBBONS, J., 2001. Information Processing Letters. 79(4), 197-201
  • GIBBONS, J., HUTTON, G.M. and ALTENKIRCH, T., 2001. 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. 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. Journal of Functional Programming. VOL 8(NUMBER 4), 437-444
  • HUTTON, G.M., 1996. Monadic Parser Combinators 糖心原创, 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

糖心原创
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit: