External Links

    Journal: Journal of Functional Programming

    Volume 15, Issue 5

    653 -- 667Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig. Educational Pearl: A Nanopass framework for compiler education
    669 -- 677Peter Møller Neergaard. Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof
    679 -- 702Richard S. Bird, Shin-Cheng Mu. Countdown: A case study in Origami programming
    703 -- 749Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. Quantitative static analysis of distributed systems
    751 -- 770Erick Gallesio, Manuel Serrano. Skribe: a functional authoring language
    771 -- 796Fairouz Kamareddine. Typed lambda-calculi with one binder
    797 -- 835Chiyan Chen, Hongwei Xi. Meta-programming through typeful code representation
    837 -- 891William L. Harrison, Richard B. Kieburtz. The logic of demand in Haskell
    893 -- 939Aleksandar Nanevski, Frank Pfenning. Staged computation with names and necessity

    Volume 15, Issue 4

    503 -- 542Nick Benton. Embedded interpreters
    543 -- 572Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon. Deciding validity in a spatial logic for trees
    573 -- 614Gérard P. Huet. A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
    615 -- 650Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow. A parallel SML compiler based on algorithmic skeletons

    Volume 15, Issue 3

    353 -- 401Clemens Grelck. Shared memory multiprocessor support for functional array processing in SAC
    403 -- 430Víctor M. Gulías, Miguel Barreiro, José Luis Freire. VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
    431 -- 475Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí. Parallel functional programming in Eden
    477 -- 502Edward A. Luke, Thomas George. Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis

    Volume 15, Issue 2

    129 -- 0Martín Abadi, Greg Morrisett, Andrei Sabelfeld. Language-Based Security
    131 -- 177Anindya Banerjee, David A. Naumann. Stack-based access control and secure information flow
    179 -- 217Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen. Interfaces for stack inspection
    219 -- 247Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter. Correspondence assertions for process synchronization in concurrent communications
    249 -- 291Karl Crary, Aleksey Kliger, Frank Pfenning. A monadic analysis of information flow security with mutable state
    293 -- 349Kohei Honda, Nobuko Yoshida. Noninterference through flow analysis

    Volume 15, Issue 1

    1 -- 13Ralf Hinze. Church numerals, twice!
    15 -- 32Lloyd Allison. Models for machine learning and data mining in functional programming
    33 -- 52René David, Georges Mounier. An intuitionistic [lambda]-calculus with exceptions
    53 -- 65Kurt Nørmark. Web programming in Scheme with LAML
    67 -- 100Ricardo Peña-Marí, Clara Segura. Non-determinism analyses in a parallel-functional language
    101 -- 127Vasco Thudichum Vasconcelos. Lambda and pi calculi, CAM and SECD machines
    runs on