Browse by Authors and Editors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 21.

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 (1999) A Tutorial on the Universality and Expressiveness of Fold. Journal of Functional Programming, 9 (4). pp. 355-372.

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 Meijer, Erik (1996) Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6 (1). pp. 181-188.

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

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.

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.

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.

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

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

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

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

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

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

Gibbons, Jeremy and Hutton, Graham (1999) Proof Methods for Structured Corecursive Programs. In: Proceedings of the 1st Scottish Functional Programming Workshop, Stirling, Scotland.

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

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 (2002) The Countdown Problem. Journal of Functional Programming, 12 (6). pp. 609-616.

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

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

This list was generated on Fri Oct 31 18:30:26 2014 GMT.