Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Graham Hutton

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/JaskelioffGH11
- ask others
Mauro Jaskelioff, Neil Ghani, Graham Hutton: Modularity and Implementation of Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 229(5): 75-95 (2011)
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfp/DayH11
- ask others
Laurence E. Day, Graham Hutton: Towards Modular Compilers for Effects. Trends in Functional Programming 2011: 49-64
2010
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/HuttonJG10
- ask others
Graham Hutton, Mauro Jaskelioff, Andy Gill: Factorising folds for faster functions. J. Funct. Program. 20(3-4): 353-373 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/GillH09
- ask others
Andy Gill, Graham Hutton: The worker/wrapper transformation. J. Funct. Program. 19(2): 227-251 (2009)
[c11]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfp/HuH09
- ask others
Liyang Hu, Graham Hutton: Compiling Concurrency Correctly: Cutting out the Middle Man. Trends in Functional Programming 2009: 17-32
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/2009
- ask others
Graham Hutton, Andrew P. Tolmach (Eds.): Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. ACM 2009, ISBN 978-1-60558-332-7
2008
[c10]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfp/HuH08
- ask others
Liyang Hu, Graham Hutton: Towards a Verified STM. Trends in Functional Programming 2008: 129-144
2007
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/HuttonW07
- ask others
Graham Hutton, Joel Wright: What is the meaning of these constant interruptions? J. Funct. Program. 17(6): 777-792 (2007)
2005
[j10]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/GibbonsH05
- ask others
Jeremy Gibbons, Graham Hutton: Proof Methods for Corecursive Programs. Fundam. Inform. 66(4): 353-366 (2005)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifl/HopeH05
- ask others
Catherine Hope, Graham Hutton: Accurate Step Counting. IFL 2005: 91-105
2004
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/HuttonW04
- ask others
Graham Hutton, Joel Wright: Compiling Exceptions Correctly. MPC 2004: 211-227
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfp/HuttonW04
- ask others
Graham Hutton, Joel Wright: Calculating an exceptional machine. Trends in Functional Programming 2004: 49-64
2002
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Hutton02
- ask others
Graham Hutton: The countdown problem. J. Funct. Program. 12(6): 609-616 (2002)
2001
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GibbonsHA01
- ask others
Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch: When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci. 44(1): 146-160 (2001)
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/HuttonG01
- ask others
Graham Hutton, Jeremy Gibbons: The generic approximation lemma. Inf. Process. Lett. 79(4): 197-201 (2001)
2000
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Hutton00
- ask others
Graham Hutton: Preface. Electr. Notes Theor. Comput. Sci. 41(1): 2 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j5]
- view
  - electronic edition @ cambridge.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Hutton99
- ask others
Graham Hutton: A Tutorial on the Universality and Expressiveness of Fold. J. Funct. Program. 9(4): 355-372 (1999)
1998
[j4]
- view
  - electronic edition @ cambridge.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/HuttonM98
- ask others
Graham Hutton, Erik Meijer: Monadic Parsing in Haskell. J. Funct. Program. 8(4): 437-444 (1998)
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/Hutton98
- ask others
Graham Hutton: Fold and Unfold for Program Semantics. ICFP 1998: 280-288
1997
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icdar/HuttonCEH97
- ask others
Graham Hutton, M. Cripps, Dave Elliman, Colin Higgins: A Strategy for On-line Interpretation of Sketched Engineering Drawings. ICDAR 1997: 771-775
1996
[j3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/HuttonM96
- ask others
Graham Hutton, Erik Meijer: Back to Basics: Deriving Representation Changers Functionally. J. Funct. Program. 6(1): 181-188 (1996)
1995
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fpca/MeijerH95
- ask others
Erik Meijer, Graham Hutton: Bananas in Space: Extending Fold and Unfold to Exponential Types. FPCA 1995: 324-333
1994
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Hutton94
- ask others
Graham Hutton: 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. J. Funct. Program. 4(4): 557-559 (1994)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/BrownH94
- ask others
Carolyn Brown, Graham Hutton: Categories, Allegories and Circuit Design. LICS 1994: 372-381
1992
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Hutton92
- ask others
Graham Hutton: Higher-Order Functions for Parsing. J. Funct. Program. 2(3): 323-343 (1992)
1991
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fp/HuttonV91
- ask others
Graham Hutton, Ed Voermans: Making Functionality More General. Functional Programming 1991: 177-190

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fp/Hutton89
- ask others
Graham Hutton: Parsing Using Combinators. Functional Programming 1989: 353-370