Graham Hutton - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Modularity and Implementation of Mathematical Operational SemanticsMauro Jaskelioff, Neil Ghani, Graham Hutton. ENTCS, 229(5):75-95, 2011. [doi]

2010

Factorising folds for faster functionsGraham Hutton, Mauro Jaskelioff, Andy Gill. JFP, 20(3-4):353-373, 2010. [doi]

2009

The worker/wrapper transformationAndy Gill, Graham Hutton. JFP, 19(2):227-251, 2009. [doi]

Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009Graham Hutton, Andrew P. Tolmach, editors, ACM, 2009.

2007

What is the meaning of these constant interruptions?Graham Hutton, Joel Wright. JFP, 17(6):777-792, 2007. [doi]

2005

Proof Methods for Corecursive ProgramsJeremy Gibbons, Graham Hutton. FUIN, 66(4):353-366, 2005. [doi]

Accurate Step CountingCatherine Hope, Graham Hutton. IFL 2006: 91-105 [doi]

2004

Calculating an exceptional machineGraham Hutton, Joel Wright. sfp 2006: 49-64

Compiling Exceptions CorrectlyGraham Hutton, Joel Wright. mpc 2004: 211-227 [doi]

2002

The countdown problemGraham Hutton. JFP, 12(6):609-616, 2002. [doi]

2001

When is a function a fold or an unfold?Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch. ENTCS, 44(1), 2001. [doi]

The generic approximation lemmaGraham Hutton, Jeremy Gibbons. ipl, 79(4):197-201, 2001. [doi]

2000

PrefaceGraham Hutton. ENTCS, 41(1), 2000. [doi]

1999

A Tutorial on the Universality and Expressiveness of FoldGraham Hutton. JFP, 9(4):355-372, 1999.

1998

Fold and Unfold for Program SemanticsGraham Hutton. ICFP 1998: 280-288 [doi]

Monadic Parsing in HaskellGraham Hutton, Erik Meijer. JFP, 8(4):437-444, 1998.

1997

A Strategy for On-line Interpretation of Sketched Engineering DrawingsGraham Hutton, M. Cripps, Dave Elliman, Colin Higgins. icdar 1997: 771-775 [doi]

1996

Back to Basics: Deriving Representation Changers FunctionallyGraham Hutton, Erik Meijer. JFP, 6(1):181-188, 1996.

1995

Bananas in Space: Extending Fold and Unfold to Exponential TypesErik Meijer, Graham Hutton. fpca 1995: 324-333

1994

Categories, Allegories and Circuit DesignCarolyn Brown, Graham Hutton. lics 1994: 372-381

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-7Graham Hutton. JFP, 4(4):557-559, 1994.

1992

Higher-Order Functions for ParsingGraham Hutton. JFP, 2(3):323-343, 1992.

1991

Making Functionality More GeneralGraham Hutton, Ed Voermans. fp 1992: 177-190

1989

Parsing Using CombinatorsGraham Hutton. fp 1990: 353-370