 | 2009 |
|---|
| 22 |       | Graham Hutton,
Andrew P. Tolmach:
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009
ACM 2009 |
| 21 |  | Andy Gill,
Graham Hutton:
The worker/wrapper transformation.
J. Funct. Program. 19(2): 227-251 (2009) |
| 2007 |
|---|
| 20 | | Graham Hutton,
Joel Wright:
What is the meaning of these constant interruptions?
J. Funct. Program. 17(6): 777-792 (2007) |
| 2005 |
|---|
| 19 | | Catherine Hope,
Graham Hutton:
Accurate Step Counting.
IFL 2005: 91-105 |
| 18 | | Jeremy Gibbons,
Graham Hutton:
Proof Methods for Corecursive Programs.
Fundam. Inform. 66(4): 353-366 (2005) |
| 2004 |
|---|
| 17 | | Graham Hutton,
Joel Wright:
Compiling Exceptions Correctly.
MPC 2004: 211-227 |
| 16 | | Graham Hutton,
Joel Wright:
Calculating an exceptional machine.
Trends in Functional Programming 2004: 49-64 |
| 2002 |
|---|
| 15 | | Graham Hutton:
The countdown problem.
J. Funct. Program. 12(6): 609-616 (2002) |
| 2001 |
|---|
| 14 | | Jeremy Gibbons,
Graham Hutton,
Thorsten Altenkirch:
When is a function a fold or an unfold?
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 13 | | Graham Hutton,
Jeremy Gibbons:
The generic approximation lemma.
Inf. Process. Lett. 79(4): 197-201 (2001) |
| 2000 |
|---|
| 12 | | Graham Hutton:
Preface.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 1999 |
|---|
| 11 | | Graham Hutton:
A Tutorial on the Universality and Expressiveness of Fold.
J. Funct. Program. 9(4): 355-372 (1999) |
| 1998 |
|---|
| 10 | | Graham Hutton:
Fold and Unfold for Program Semantics.
ICFP 1998: 280-288 |
| 9 | | Graham Hutton,
Erik Meijer:
Monadic Parsing in Haskell.
J. Funct. Program. 8(4): 437-444 (1998) |
| 1997 |
|---|
| 8 | | Graham Hutton,
M. Cripps,
Dave Elliman,
Colin Higgins:
A Strategy for On-line Interpretation of Sketched Engineering Drawings.
ICDAR 1997: 771-775 |
| 1996 |
|---|
| 7 | | Graham Hutton,
Erik Meijer:
Back to Basics: Deriving Representation Changers Functionally.
J. Funct. Program. 6(1): 181-188 (1996) |
| 1995 |
|---|
| 6 | | Erik Meijer,
Graham Hutton:
Bananas in Space: Extending Fold and Unfold to Exponential Types.
FPCA 1995: 324-333 |
| 1994 |
|---|
| 5 | | Carolyn Brown,
Graham Hutton:
Categories, Allegories and Circuit Design
LICS 1994: 372-381 |
| 4 | | 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) |
| 1992 |
|---|
| 3 | | Graham Hutton:
Higher-Order Functions for Parsing.
J. Funct. Program. 2(3): 323-343 (1992) |
| 1991 |
|---|
| 2 | | Graham Hutton,
Ed Voermans:
Making Functionality More General.
Functional Programming 1991: 177-190 |
| 1989 |
|---|
| 1 | | Graham Hutton:
Parsing Using Combinators.
Functional Programming 1989: 353-370 |
