Graham Hutton

Available identifiers

Publication	Date of Publication	Type
PhD Abstracts	2024-04-18	Paper
Programming language semantics: It’s easy as 1,2,3	2023-12-11	Paper
Improving Haskell	2023-12-01	Paper
PhD Abstracts	2023-08-09	Paper
Subtyping without reduction	2023-06-30	Paper
PhD Abstracts	2023-06-19	Paper
Fold and unfold for program semantics	2019-09-26	Paper
Compiling a 50-year journey	2019-02-20	Paper
Programs for Cheap!	2018-04-23	Paper
Calculating correct compilers	2017-10-23	Paper
Fold and unfold for program semantics	2017-08-21	Paper
Worker/wrapper/makes it/faster	2016-09-29	Paper
Programming in Haskell	2016-08-29	Paper
Cutting Out Continuations	2016-08-17	Paper
Work it, wrap it, fix it, fold it	2014-08-14	Paper
Modularity and Implementation of Mathematical Operational Semantics	2014-06-27	Paper
When is a function a fold or an unfold?	2013-04-26	Paper
Factorising folds for faster functions	2011-01-26	Paper
Accurate Step Counting	2009-04-28	Paper
The worker/wrapper transformation	2009-03-25	Paper
What is the meaning of these constant interruptions?	2007-11-22	Paper
Programming in Haskell	2007-05-10	Paper
Proof methods for corecursive programs	2006-06-19	Paper
Mathematics of Program Construction	2005-08-26	Paper
The generic approximation lemma	2002-07-14	Paper
The countdown problem	2002-01-01	Paper
A tutorial on the universality and expressiveness of fold	2000-03-16	Paper
Monadic parsing in Haskell	1999-08-08	Paper
Higher-order functions for parsing	1995-05-04	Paper

This page was built for person: Graham Hutton