G. Hutton

发表

Monadic parser combinators

E. Meijer, G. Hutton, 1996 .

Net gain: Expanding markets through virtual communities

G. Hutton, 1998 .

Factorising Folds for Faster Functions ( Extended Version )

G. Hutton, 2009 .

Chapter 25 Reasoning About Effects : Seeing the Wood Through the Trees

G. Hutton, D. Fulger, 2008 .

A Relational Derivation of a Functional Program

Graham Hutton, G. Hutton, 1992 .

Categories, Allegories and Circuit Design or the Picture of a Wiring Primitive (we Often Omit the Bounding Box) 3: Axioms for Pictures

G. Hutton, Carolyn Brown, 1994 .

Categories, Allegories and Circuit Design 5: Derived Operations on Pictures

G. Hutton, Carolyn Brown, 1994 .

Implementing Software Transactional Memory, Correctly

G. Hutton, Huang Liyang, 2008 .

Chapter 9 Towards a Verified Implementation of Software Transactional Memory

G. Hutton, Huang Liyang, 2008 .

Carolyn and Hutton, Graham (1994) Categories, Allegories, and Circuit Design. In: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer

G. Hutton, 2017 .

Jaskelioff, Mauro Javier and Ghani, Neil and Hutton, Graham (2008) Modularity and implementation of mathematical operational semantics. In: Second Workshop on Mathematically Structured Functional Programming (MSFP

Neil Ghani, G. Hutton, Mauro Jaskelioff, 2016 .

Functional Programming 1 Higher-Order Functions for Parsing ∗

G. Hutton, 2001 .

Formal Dependability Analysis using Higher-Order-Logic Theorem Proving

G. Hutton, 2017 .

Session details: Infinity

Graham Hutton, G. Hutton, 2012 .

Session details: Monads

Graham Hutton, G. Hutton, 2012 .

Managing without management

G. Hutton, 1998 .

Representing Contractive Functions on Streams (Extended Version)

G. Hutton, Mauro Jaskelioff, 2011 .

What is the meaning of these constant interruptions?

Graham Hutton, Joel J. Wright, G. Hutton, 2007, Journal of Functional Programming.

Contractive Functions on Infinite Data Structures

Graham Hutton, Venanzio Capretta, Mauro Jaskelioff, 2016, IFL 2016.

Representing Contractive Functions on Streams

Graham Hutton, Mauro Jaskelioff, G. Hutton, 2011 .

Higher-order functions for parsing

Graham Hutton, G. Hutton, 1992, Journal of Functional Programming.

Calculating correct compilers II: Return of the register machines

Graham Hutton, Patrick Bahr, G. Hutton, 2020, Journal of Functional Programming.

Functional Programming, Glasgow 1990

Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst, 1991, Workshops in Computing.

The countdown problem

Graham Hutton, G. Hutton, 2002, Journal of Functional Programming.

Proof Methods for Corecursive Programs

Graham Hutton, Jeremy Gibbons, G. Hutton, 2005, Fundam. Informaticae.

FUNCTIONAL PEARL The countdown problem

Graham Hutton, G. Hutton, 2002 .

Proof methods for structured corecursive programs

Graham Hutton, Jeremy Gibbons, G. Hutton, 1999 .

Between functions and relations in calculating programs

Graham Hutton, G. Hutton, 1992 .

Monadic parsing in Haskell

Graham Hutton, Erik Meijer, E. Meijer, 1998, Journal of Functional Programming.

Parsing Using Combinators

Graham Hutton, G. Hutton, 1989, Functional Programming.

Calculating correct compilers

Graham Hutton, Patrick Bahr, G. Hutton, 2015, Journal of Functional Programming.

Towards Modular Compilers for Effects

Graham Hutton, Laurence E. Day, G. Hutton, 2011, Trends in Functional Programming.

The worker/wrapper transformation

Graham Hutton, Andy Gill, G. Hutton, 2009, Journal of Functional Programming.

Accurate Step Counting

Graham Hutton, Catherine Hope, G. Hutton, 2005, IFL.

Compiling Exceptions Correctly

Graham Hutton, Joel J. Wright, G. Hutton, 2004, MPC.

The generic approximation lemma

Graham Hutton, Jeremy Gibbons, G. Hutton, 2001, Inf. Process. Lett..

Fold and unfold for program semantics

Graham Hutton, G. Hutton, 1998, ICFP '98.

Bananas in space: extending fold and unfold to exponential types

Graham Hutton, Erik Meijer, E. Meijer, 1995, FPCA '95.

Programming Language Semantics

G. Hutton, 2021 .

Work it, wrap it, fix it, fold it

Graham Hutton, Neil Sculthorpe, G. Hutton, 2014, J. Funct. Program..

Compiling Exceptions Correctly (Extended Version)

Graham Hutton, Joel J. Wright, G. Hutton, 2004 .

Categories, allegories and circuit design

Graham Hutton, Carolyn Brown, G. Hutton, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

The Ruby Interpreter

Graham Hutton, G. Hutton, 1993 .

Back to Basics: Deriving Representation Changers Functionally

Graham Hutton, Erik Meijer, E. Meijer, 1996, J. Funct. Program..

F U N C T I O N a L P E a R L S Back to Basics: Deriving Representation Changers Functionally

E. Meijer, G. Hutton, 1993 .

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)

Graham Hutton, David Van Horn, Joachim Breitner, 2018, Haskell@ICFP.

Calculating Compilers for Concurrency

G. Hutton, P. Bahr, 2023, Proceedings of the ACM on Programming Languages.

A tutorial on the universality and expressiveness of fold

Graham Hutton, G. Hutton, Graham Hutton, 1999, Journal of Functional Programming.

AutoBench: comparing the time performance of Haskell programs

Graham Hutton, Martin A. T. Handley, G. Hutton, 2018, Haskell@ICFP.

Calculating an exceptional machine

Graham Hutton, Joel J. Wright, G. Hutton, 2004, Trends in Functional Programming.

We too can prosper : the promise of productivity

G. Hutton, 1953 .

BPR—overcoming impediments to change in the public sector

Graham Hutton, G. Hutton, 1995 .

Programs for Cheap!

G. Hutton, Jennifer Hackett, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.

Net gain: Expanding markets through virtual communities

G. Hutton, 1998 .

A calculational theory of pers as types

Graham Hutton, Ed Voermans, G. Hutton, 1992 .