External Links

    Journal: Journal of Functional Programming

    Volume 9, Issue 6

    579 -- 603David Wakeling. Compiling lazy functional programs for the Java Virtual Machine
    605 -- 624Dinh Lê, Douglas Stott Parker Jr.. Using randomization to make recursive matrix algorithms practical
    625 -- 647Tristan Crolard. A confluent lambda-calculus with a catch/throw mechanism
    649 -- 673Alfons Geser, Sergei Gorlatch. Parallelizing functional programs by generalization
    685 -- 698Gilles Barthe. Type-checking injective pure type systems

    Volume 9, Issue 5

    483 -- 525Peter Thiemann. Combinators for Program Generation
    527 -- 564Panos Rondogiannis, William W. Wadge. Higher-Order Functional Languages and Intensional Logic
    565 -- 575Richard Statman, Henk Barendregt. Applications of Plotkin-Terms: Partitions and Morphisms for Closed Terms

    Volume 9, Issue 4

    355 -- 372Graham Hutton. A Tutorial on the Universality and Expressiveness of Fold
    373 -- 426Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen. Compilation and Equivalence of Imperative Objects
    427 -- 462Susumu Nishimura, Atsushi Ohori. Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion
    463 -- 469Robert Harper. Proof-Directed Debugging
    471 -- 477Chris Okasaki. Red-Black Trees in a Functional Setting

    Volume 9, Issue 3

    247 -- 277Martin Hofmann. Semantics of Linear/Modal Lambda Calculus
    279 -- 310Christoph A. Herrmann, Christian Lengauer. Parallelization of Divide-and-Conquer by Translation to Nested Loops
    313 -- 323Koen Claessen. A Poor Man s Concurrency Monad
    325 -- 337M. Douglas McIlroy. Power Series, Power Serious
    339 -- 346Jeremy Gibbons. A Pointless Derivation of Radix Sort

    Volume 9, Issue 2

    113 -- 146Richard J. Boulton. Transparent Optimisation of Rewriting Combinators
    147 -- 166Keith Hanna. Implementing Theorem Provers in a Purely Functional Style
    167 -- 189Christoph Lüth, Burkhart Wolff. Functional Design and Implementation of Graphical User Interfaces for Theorem Provers
    191 -- 223Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch. HOLCF=HOL+LCF
    225 -- 245Andrew Ireland, Alan Bundy. Automatic Verification of Functions with Accumulating Parameters

    Volume 9, Issue 1

    1 -- 31Cormac Flanagan, Matthias Felleisen. The Semantics of Future and an Application
    33 -- 75Michael Hanus, Christian Prehofer. Higher-Order Narrowing with Definitional Trees
    77 -- 91Richard S. Bird, Ross Paterson. De Bruijn Notation as a Nested Datatype
    93 -- 104Ralf Hinze. Explaining Binomial Heaps
    runs on