Search Results - Hutton, Graham

Graham Hutton

David Graham Hutton OBE (13 April 1904 – 14 October 1988) was a British economist, writer and Liberal Party politician. Provided by Wikipedia
Refine Results
  1. 1
    Between functions and relations in calculating programs

    Between functions and relations in calculating programs by Hutton, Graham

    Published 1992
    Get full text
  2. 2
    The Countdown Problem

    The Countdown Problem by Hutton, Graham

    Published 2002
    Get full text
  3. 3
    Fold and Unfold for Program Semantics

    Fold and Unfold for Program Semantics by Hutton, Graham

    Published 1998
    Get full text
  4. 4
    The Ruby Interpreter

    The Ruby Interpreter by Hutton, Graham

    Published 1993
    Get full text
  5. 5
    Functional Programming With Relations

    Functional Programming With Relations by Hutton, Graham

    Published 1991
    Get full text
  6. 6
    A Relational Derivation of a Functional Program

    A Relational Derivation of a Functional Program by Hutton, Graham

    Published 1992
    Get full text
  7. 7
    Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic

    Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic by Hutton, Graham

    Published 1994
    Get full text
  8. 8
    Report on BCTCS 2005

    Report on BCTCS 2005 by Hutton, Graham

    Published 2005
    Get full text
  9. 9
    Higher-Order Functions for Parsing

    Higher-Order Functions for Parsing by Hutton, Graham

    Published 1992
    Get full text
  10. 10
    A Tutorial on the Universality and Expressiveness of Fold

    A Tutorial on the Universality and Expressiveness of Fold by Hutton, Graham

    Published 1999
    Get full text
  11. 11
    Worker/wrapper/makes it/faster

    Worker/wrapper/makes it/faster by Hackett, Jennifer, Hutton, Graham

    Published 2014
    Get full text
  12. 12
    Work it, wrap it, fix it, fold it

    Work it, wrap it, fix it, fold it by Sculthorpe, Neil, Hutton, Graham

    Published 2014
    Get full text
  13. 13
    Towards modular compilers for effects

    Towards modular compilers for effects by Day, Laurence, Hutton, Graham

    Published 2012
    Get full text
  14. 14
    Compiling concurrency correctly: cutting out the middle man

    Compiling concurrency correctly: cutting out the middle man by Hu, Liyang, Hutton, Graham

    Published 2010
    Get full text
  15. 15
    Compact fusion

    Compact fusion by Hope, Catherine, Hutton, Graham

    Published 2006
    Get full text
  16. 16
    Calculating an exceptional machine

    Calculating an exceptional machine by Hutton, Graham, Wright, Joel

    Published 2006
    Get full text
  17. 17
    Bananas in space: extending fold and unfold to exponential types

    Bananas in space: extending fold and unfold to exponential types by Meijer, Erik, Hutton, Graham

    Published 1995
    Get full text
  18. 18
    The Generic Approximation Lemma

    The Generic Approximation Lemma by Hutton, Graham, Gibbons, Jeremy

    Published 2001
    Get full text
  19. 19
    Proof Methods for Corecursive Programs

    Proof Methods for Corecursive Programs by Hutton, Graham, Gibbons, Jeremy

    Published 2005
    Get full text
  20. 20
    Compiling Exceptions Correctly

    Compiling Exceptions Correctly by Hutton, Graham, Wright, Joel

    Published 2004
    Get full text

Search Tools: