External Links

    Journal: Journal of Functional Programming

    Volume 8, Issue 6

    543 -- 572Thomas Streicher, Bernhard Reus. Classical Logic, Continuation Semantics and Abstract Machines
    573 -- 619C. Barry Jay, Gianna Bellè, Eugenio Moggi. Functorial ML
    621 -- 625Olivier Danvy. Functional Unparsing
    627 -- 632Martin Erwig. Diets for Fat Sets

    Volume 8, Issue 5

    447 -- 491William Ferreira, Matthew Hennessy, Alan Jeffrey. A Theory of Weak Bisimulation for Core CML
    493 -- 502Guy Lapalme. Dynamic Tabbing for Automatic Indentation with the Layout Rule
    503 -- 525Gary Meehan, Mike Joy. Animated Fuzzy Logic
    527 -- 536Patrik Jansson, Johan Jeuring. Polytypic Unification

    Volume 8, Issue 4

    323 -- 333Thomas Johnsson. Efficient Graph Algorithms Using Lazy Monolithic Arrays
    335 -- 365Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca. Structured Operational Semantics of a Fragment of the Language Scheme
    367 -- 412Andrew P. Tolmach, Dino Oliva. From ML to Ada: Strongly-Typed Language Interoperability via Source Translation
    413 -- 436Michael Hedberg. A Coherence Theorem for Martin-Löf s Type Theory
    437 -- 444Graham Hutton, Erik Meijer. Monadic Parsing in Haskell

    Volume 8, Issue 3

    201 -- 237Richard G. Morgan, Stephen A. Jarvis. Profiling Large-Scale Lazy Functional Programs
    239 -- 273John Hannan. A Type-Based Escape Analysis for Functional Languages
    275 -- 317John Maraist, Martin Odersky, Philip Wadler. The Call-by-Need Lambda Calculus

    Volume 8, Issue 2

    97 -- 129Robert F. Stärk. Why the Constant Undefined ? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages
    131 -- 176Thérèse Hardin, Luc Maranget. Functional Runtime Systems Within the Lambda-Sigma Calculus
    177 -- 193P. N. Benton, Gavin M. Bierman, Valeria de Paiva. Computational Types from a Logical Perspective
    195 -- 199Chris Okasaki. Functional Pearl: Even Higher-Order Functions for Parsing

    Volume 8, Issue 1

    1 -- 22Amr Sabry. What is a Purely Functional Language?
    23 -- 60Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones. Algorithms + Strategy = Parallelism
    61 -- 81David Wakeling. The Dynamic Compilation of Lazy Functional Programs
    83 -- 88Richard S. Bird. Meertens Number
    89 -- 96Erik Poll. Expansion Postponement for Normalising Pure Type Systems
    runs on