publications:
- title: "Back to Basics: Deriving Representation Changers Functionally"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  year: "1996"
  researchr: "https://researchr.org/publication/HuttonM96"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "6"
  number: "1"
  pages: "181-188"
  kind: "article"
  key: "HuttonM96"
- title: "Categories, Allegories and Circuit Design"
  author:
  - name: "Carolyn Brown"
    link: "https://researchr.org/alias/carolyn-brown"
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "1994"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/BrownH94"
  cites: 0
  citedby: 0
  pages: "372-381"
  booktitle: "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "BrownH94"
- title: "A Tutorial on the Universality and Expressiveness of Fold"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "1999"
  researchr: "https://researchr.org/publication/Hutton99"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "9"
  number: "4"
  pages: "355-372"
  kind: "article"
  key: "Hutton99"
- title: "What is the meaning of these constant interruptions?"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  - name: "Joel Wright"
    link: "https://researchr.org/alias/joel-wright"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796807006363"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796807006363"
  researchr: "https://researchr.org/publication/HuttonW07"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "17"
  number: "6"
  pages: "777-792"
  kind: "article"
  key: "HuttonW07"
- title: "Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "1994"
  tags:
  - "reviewing"
  - "logic"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Hutton94"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "4"
  number: "4"
  pages: "557-559"
  kind: "article"
  key: "Hutton94"
- title: "Higher-Order Functions for Parsing"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "1992"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/Hutton92"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "2"
  number: "3"
  pages: "323-343"
  kind: "article"
  key: "Hutton92"
- title: "Bananas in Space: Extending Fold and Unfold to Exponential Types"
  author:
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "1995"
  researchr: "https://researchr.org/publication/MeijerH95"
  cites: 0
  citedby: 0
  pages: "324-333"
  booktitle: "FPCA"
  kind: "inproceedings"
  key: "MeijerH95"
- title: "Calculating an exceptional machine"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  - name: "Joel Wright"
    link: "https://researchr.org/alias/joel-wright"
  year: "2004"
  researchr: "https://researchr.org/publication/HuttonW04%3A0"
  cites: 0
  citedby: 0
  pages: "49-64"
  booktitle: "Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004"
  editor:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  volume: "5"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "1-84150-144-1"
  kind: "inproceedings"
  key: "HuttonW04:0"
- title: "The generic approximation lemma"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0020-0190(00)00220-9"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(00)00220-9"
  researchr: "https://researchr.org/publication/HuttonG01"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "79"
  number: "4"
  pages: "197-201"
  kind: "article"
  key: "HuttonG01"
- title: "Parsing Using Combinators"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "1989"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/Hutton89"
  cites: 0
  citedby: 0
  pages: "353-370"
  booktitle: "Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK"
  editor:
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19609-9"
  kind: "inproceedings"
  key: "Hutton89"
- title: "The worker/wrapper transformation"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796809007175"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796809007175"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/GillH09"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "19"
  number: "2"
  pages: "227-251"
  kind: "article"
  key: "GillH09"
- title: "Compiling Exceptions Correctly"
  author:
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  - name: "Joel Wright"
    link: "https://researchr.org/alias/joel-wright"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=211"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=211"
  tags:
  - "exceptions"
  - "compiler"
  researchr: "https://researchr.org/publication/HuttonW04"
  cites: 0
  citedby: 0
  pages: "211-227"
  booktitle: "Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings"
  editor:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Carron Shankland"
    link: "https://researchr.org/alias/carron-shankland"
  volume: "3125"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22380-0"
  kind: "inproceedings"
  key: "HuttonW04"