External Links

    Journal: Journal of Functional Programming

    Volume 2, Issue 4

    387 -- 405Gad Aharoni, Dror G. Feitelson, Amnon Barak. A Run-Time Algorithm for Managing the Granularity of Parallel Functional Programs
    407 -- 423François Bourdoncle. Abstract Interpretation by Dynamic Partitioning
    437 -- 473P. J. Brumfitt. MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware
    475 -- 503Mark P. Jones. Computing with Lattices: An Application of Type Classes
    505 -- 513Rob R. Hoogerwoord. A Symmetric Set of Efficient List Operations

    Volume 2, Issue 3

    245 -- 271Jean-Pierre Talpin, Pierre Jouvelot. Polymorphic Type, Region and Effect Inference
    273 -- 321Frank S. K. Silbermann, Bharat Jayaraman. A Domain-Theoretic Approach to Functional and Logic Programming
    323 -- 343Graham Hutton. Higher-Order Functions for Parsing
    345 -- 363Torben Æ. Mogensen. Efficient Self-Interpretations in lambda Calculus
    367 -- 374Henk Barendregt. Representing undefined in lambda Calculus
    375 -- 385Richard S. Bird. Unravelling Greedy Algorithms

    Volume 2, Issue 2

    127 -- 202Simon L. Peyton Jones. Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine
    203 -- 212F. Warren Burton, Rex L. Page. Distributed Random Number Generation
    213 -- 226Harry G. Mairson. Quantifier Elimination and Parametric Polymorphism in Programming Languages
    233 -- 236Henk Barendregt. Enumerators of lambda Terms are Reducing
    237 -- 244Richard S. Bird. Two Greedy Algorithms

    Volume 2, Issue 1

    1 -- 21Manfred Broy, Claus Dendorfer. Modelling Operating System Structures by Timed Stream Processing Functions
    23 -- 59Andrea Asperti. A Categorical Understanding of Environment Machines
    61 -- 72Roger L. Wainwright, Marian E. Sexton. A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language
    73 -- 79Richard E. Jones. Tail Recursion without Space Leaks
    81 -- 126James M. Boyle, Terence J. Harmer. A Practical Functional Program for the CRAY X-MP
    runs on