- A Relational Derivation of a Functional Program Graham Hutton
- Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS
- Pattern Guards and Transformational Patterns Martin Erwig
- Derivable Type Classes Institut fur Informatik III
- Bananas in Space: Extending Fold and Unfold to Exponential Types
- A Monadic Multi-stage Metalanguage E.Moggi and S.Fagorzi
- Lambada, Haskell as a better Java Erik Meijer
- Haskell Server Pages Functional Programming and the Battle for the Middle Tier
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- Compiling Concurrency Correctly: Cutting Out the
- design of a special purpose library of higherorder functions, now an important style of functional programming; for example, special libraries exist for parsing, pretty
- Book Review: "Programming in Haskell" by Graham Hutton
- The generic approximation lemma Graham Hutton
- A calculational theory of pers as types Graham Hutton, University of Glasgow
- LIFTING OF OPERATIONS MODULAR MONADIC SEMANTICS
- Bananas in Space: Extending Fold and Unfold to Exponential Types
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- Combinator Parsers: From Toys to Tools S. Doaitse Swierstra
- Proof methods for structured corecursive programs
- JFP 17 (6): 777792, 2007. c 2007 Cambridge University Press doi:10.1017/S0956796807006363 First published online 25 April 2007 Printed in the United Kingdom
- Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS
- The Ruby Interpreter Graham Hutton
- JFP 20 (3 & 4): 353373, 2010. c Cambridge University Press 2010 doi:10.1017/S0956796810000122 First published online 30 June 2010
- Debugging Haskell by Observing Intermediate Data Structures Oregon Graduate Institute
- Factorising Folds for Faster Functions (Extended Version)
- JFP 19 (2): 227251, 2009. c 2009 Cambridge University Press doi:10.1017/S0956796809007175 Printed in the United Kingdom
- To appear in the Journal of Functional Programming 1 The Worker/Wrapper Transformation
- Reasoning About Effects: Seeing the Wood
- Under consideration for the Journal of Functional Programming 1 What is the Meaning of
- Calculating an Exceptional Graham Hutton and Joel Wright1
- Compiling Exceptions Correctly Graham Hutton and Joel Wright
- Electronic Notes in Theoretical Computer Science 44 No. 1 (2001) URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages
- Proof methods for structured corecursive programs
- Monadic Parser Combinators Graham Hutton
- A review for the Journal of Functional Programming (JFP) of Mike Gordon and Tom Melham, eds., Introduction to HOL: a theorem proving environment for higher order logic
- Categories, Allegories and Circuit Design Carolyn Brown
- BCTCS is a forum for researchers in theoretical computer science to meet, pre-sent research findings, and discuss developments in the field. It also provides
- Crown Copyright Licence no. 100043507
- INTRODUCTION TO FUNCTIONAL PROGRAMMING
- Static support for capability-based programming in Java Vijay Saraswat
- Mixin Modules and Computational Effects D.Ancona, S.Fagorzi, E.Moggi, E.Zucca
- Flow Caml in a Nutshell Vincent Simonet
- A Functional Correspondence between Evaluators and Abstract Machines
- A Logical Framework with Dependently Typed Thierry Coquand1
- Compiling and Reasoning Exceptions and Interrupts
- Structured recursion for non-uniform data-types
- Formalising and Reasoning about Fudgets by Colin J. Taylor
- The 14th ACM SIGPLAN International Conference on Functional Programming Edinburgh, Scotland
- The Real World Wouter Swierstra
- G52AFP Coursework 2 Monadic Compiler
- J. Functional Programming 9 (4): 355--372, July 1999 c # 1999 Cambridge University Press 1
- Writing High-Performance Server Applications in Haskell Case Study: A Haskell Web Server
- A Relational Derivation of a Functional Program Graham Hutton
- An Overview of Edison Chris Okasaki
- Making functionality more general Graham Hutton, University of Glasgow
- The Ruby Interpreter Graham Hutton
- Compiling Exceptions Correctly (Extended Version)
- G51FUN Coursework 1 String Compressor
- Under consideration for publication in J. Functional Programming 1 Higher-Order Functions for Parsing
- Typed Logical Variables in Haskell Koen Claessen
- G52AFP Coursework 1 Noughts and Crosses
- Functional Programming with Relations Graham Hutton
- Functional Programming with Relations \Lambda Graham Hutton
- Categories, Allegories and Circuit Design Carolyn Brown
- A calculational theory of pers as types Graham Hutton, University of Glasgow
- Fold and Unfold for Program Semantics Graham Hutton
- G51FUN Coursework 2 Database System
- Modular SOS: Differences from SOS Peter D. Mosses
- Raising ML to the Power of System F Didier Le Botlan and Didier Rmy
- Classical Logic as Limit An intuitionistic model of 0
- Towards a Verified Implementation of Software
- Programming in Haskell Solutions to Exercises
- Between Functions and Relations Calculating Programs
- Making functionality more general Graham Hutton, University of Glasgow
- 256 Book reviews either the subcomponent interfaces or the rest of the program. If the program is declarative, this
- A Space Semantics for Core Haskell Adam Bakewell and Colin Runciman
- Accurate Step Counting Catherine Hope and Graham Hutton
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- JFP 12 (6): 609616, November 2002. c 2002 Cambridge University Press DOI: 10.1017/S0956796801004300 Printed in the United Kingdom
- Calculating an Exceptional Machine (Extended Version)
- Fundamenta Informaticae XX (2005) 114 1 Proof Methods for Corecursive Programs
- Dynamic Rebinding for Marshalling and Update, with Destruct-time
- Monadic Parser Combinators Graham Hutton
- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes
- Towards Modular Compilers for Effects Laurence E. Day and Graham Hutton
- Reasoning About Effects: Seeing the Wood
- A Functional Semantics Space and Time
- Compact Fusion Catherine Hope and Graham Hutton
- Between Functions and Relations Calculating Programs
- Data Field Haskell Jonas Holmerin 1 and Bjorn Lisper 2
- An Elementary Theory of the Category of
- J. Functional Programming 9 (4): 355372, July 1999. Printed in the United Kingdom c 1999 Cambridge University Press
- Fold and Unfold for Program Semantics Graham Hutton
- ZU064-05-FPR paper 3 October 2011 15:0 Under consideration for publication in the Journal of Functional Programming 1
- School of Computer Science, University of Nottingham G51FUN Functional Programming, Spring 2012
- School of Computer Science, University of Nottingham G51FUN Functional Programming, Spring 2012
- School of Computer Science, University of Nottingham G51FUN Functional Programming, Spring 2012
- Standard prelude In this appendix we present some of the most commonly used definitions
- School of Computer Science, University of Nottingham G51FUN Functional Programming, Spring 2012
- School of Computer Science, University of Nottingham G51FUN Functional Programming, Spring 2012