Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2010 | 2008 | 2006 | 2005 | 2004 | 2002 | 2001 | 1999 | 1998 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991
Number of items: 43.

2018

Handley, Martin A.T. and Hutton, Graham (2018) AutoBench: comparing the time performance of Haskell programs. In: Haskell Symposium 2018, 27-28 September 2018, St Louis, Missouri, USA.

Vazou, Niki, Breitner, Joachim, Kunkel, Rose, Van Horn, David and Hutton, Graham (2018) Theorem proving for all: equational reasoning in Liquid Haskell.

Hackett, Jennifer and Hutton, Graham (2018) Parametric polymorphism and operational improvement. Proceedings of the ACM on Programming Languages, 2 . ISSN 2475-1421

2017

Hutton, Graham and Bahr, Patrick (2017) Compiling a 50-year journey. Journal of Functional Programming, 27 . e20/1-e20/11. ISSN 1469-7653

Capretta, Venanzio, Hutton, Graham and Jaskelioff, Mauro (2017) Contractive functions on infinite data structures. In: 28th symposium on Implementation and Application of Functional Languages, August 31 - September 2, 2016, Leuven, Belgium. (In Press)

2016

Fowler, Jonathan and Hutton, Graham (2016) Failing faster: overlapping patterns for property-based testing. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, 18-20 Jan 2017, Paris, France. (In Press)

Fowler, Jonathan and Hutton, Graham (2016) Towards a theory of reach. Lecture Notes in Computer Science, 9547 . pp. 22-39. ISSN 0302-9743

Hutton, Graham and Bahr, Patrick (2016) Cutting out continuations. In: WadlerFest, 11-12 April 2016, Edinburgh, Scotland.

2015

Bahr, Patrick and Hutton, Graham (2015) Calculating correct compilers. Journal of Functional Programming, 25 (e14). pp. 1-47. ISSN 1469-7653

Hackett, Jennifer and Hutton, Graham (2015) Programs for cheap! In: Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science, 6-10 July 2015, Kyoto, Japan.

2014

Sculthorpe, Neil and Hutton, Graham (2014) Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24 (1). pp. 113-127. ISSN 0956-7968

Hackett, Jennifer and Hutton, Graham (2014) Worker/wrapper/makes it/faster. In: ACM SIGPLAN International Conference on Functional Programming (19th), 1-3 Sept 2014, Gothenburg, Sweden.

2013

Hackett, Jennifer, Hutton, Graham and Jaskelioff, Mauro (2013) The under-performing unfold: a new approach to optimising corecursive programs. In: International Symposium on Implementation and Application of Functional Languages (25th), 28-30 Aug 2013, Nijmegen, Netherlands.

2012

Day, Laurence and Hutton, Graham (2012) Towards modular compilers for effects. In: International Symposium on Trends in Functional Programming (12th), 16-18 May 2011, Madrid, Spain.

2010

Hu, Liyang and Hutton, Graham (2010) Compiling concurrency correctly: cutting out the middle man. In: Symposium on Trends in Functional Programming (10th), 2-4 June 2009, Komárno, Slovakia.

2008

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

2006

Hope, Catherine and Hutton, Graham (2006) Compact fusion. In: Workshop on Mathematically Structured Functional Programming, 2 July 2006, Kuressaare, Estonia.

Hutton, Graham and Wright, Joel (2006) Calculating an exceptional machine. In: Trends in functional programming. Volume 5. Intellect, Bristol. ISBN 9781841501444

2005

Hutton, Graham (2005) Report on BCTCS 2005. Bulletin of the European Association for Theoretical Computer Science, 86 . pp. 241-256.

Hutton, Graham and Gibbons, Jeremy (2005) Proof Methods for Corecursive Programs. Fundamenta Informaticae Special Issue on Program Transformation, 66 (4). pp. 353-366.

Hope, Catherine and Hutton, Graham (2005) Accurate Step Counting. In: 17th International Workshop on Implementation and Application of Functional Languages, Dublin, Ireland.

Hutton, Graham and Wright, Joel (2005) Calculating an Exceptional Machine. In: Proceedings of the Fifth Symposium on Trends in Functional Programming, Munich, Germany.

2004

Hutton, Graham and Wright, Joel (2004) Compiling Exceptions Correctly. In: Proceedings of the 7th International Conference on Mathematics of Program Construction, July 2004, Stirling, Scotland.

2002

Hutton, Graham (2002) The Countdown Problem. Journal of Functional Programming, 12 (6). pp. 609-616.

2001

Hutton, Graham and Gibbons, Jeremy (2001) The Generic Approximation Lemma. Information Processing Letters, 79 (4). pp. 197-201.

Gibbons, Jeremy, Hutton, Graham and Altenkirch, Thorsten (2001) When is a function a fold or an unfold? In: Workshop on Coalgebraic Methods in Computer Science (4th), 6-7 April 2001, Genova, Italy.

1999

Hutton, Graham (1999) A Tutorial on the Universality and Expressiveness of Fold. Journal of Functional Programming, 9 (4). pp. 355-372.

Gibbons, Jeremy and Hutton, Graham (1999) Proof methods for structured corecursive programs. In: 1st Scottish Functional Programming Workshop, 29 Aug - 1 Sept 1999, Stirling, Scotland.

1998

Hutton, Graham and Meijer, Erik (1998) Monadic parsing in Haskell. Journal of Functional Programming, 8 (4). pp. 437-444.

Hutton, Graham (1998) Fold and Unfold for Program Semantics. In: Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, September 1998, Baltimore, Maryland.

1996

Hutton, Graham and Meijer, Erik (1996) Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6 (1). pp. 181-188.

Hutton, Graham and Meijer, Erik (1996) Monadic parser combinators. Technical Report: NOTTCS-TR-96-4. School of Computer Science and IT, University of Nottingham.

1995

Meijer, Erik and Hutton, Graham (1995) Bananas in space: extending fold and unfold to exponential types. In: International Conference on Functional Programming Languages and Computer Architecture (7th), 26-28 June 1995, La Jolla, California, USA.

1994

Hutton, Graham (1994) Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Journal of Functional Programming, 4 (4). pp. 557-559.

Hutton, Graham, Meijer, Erik and Voermans, Ed (1994) A tool for relational programmers. Technical Report. Chalmers University, Sweden. (Unpublished)

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

1993

Hutton, Graham (1993) The Ruby Interpreter. Technical Report. Department of Computing Science, Chalmbers University of Technology.

1992

Hutton, Graham (1992) Between functions and relations in calculating programs. PhD thesis, University of Glasgow.

Hutton, Graham (1992) Higher-Order Functions for Parsing. Journal of Functional Programming, 2 (3). pp. 323-343.

Hutton, Graham and Voermans, Ed (1992) A Calculational Theory of Pers as Types. Technical Report: 1992/R1. Department of Computing Science, University of Glasgow.

Hutton, Graham (1992) A Relational Derivation of a Functional Program. In: Proceedings of the STOP Summer School on Constructive Algorithmics, September 1992, Ameland, The Netherlands.

Hutton, Graham and Voermans, Ed (1992) Making Functionality More General. In: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Skye, Scotland.

1991

Hutton, Graham (1991) Functional Programming With Relations. In: Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland.

This list was generated on Fri Mar 29 12:56:04 2024 UTC.