External Links

    Journal: Journal of Functional Programming

    Volume 13, Issue 6

    961 -- 1004Haruo Hosoya, Benjamin C. Pierce. Regular expression pattern matching for XML
    1005 -- 1059Sven-Bodo Scholz. Single Assignment C: efficient support for high-level array operations in a functional setting
    1061 -- 1075Conor McBride. First-order unification by structural recursion
    1077 -- 1085Christoph Lüth. Haskell in Space
    1087 -- 1088Eerke Boiten. Concepts in Programming Languages by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5

    Volume 13, Issue 5

    833 -- 834Simon L. Peyton Jones, Philip Wadler. The Educational Pearls column
    835 -- 838Matthias Felleisen. Welcome to the Educational Pearls Column
    839 -- 866Erick Gallesio, Manuel Serrano. Programming graphical user interfaces with Scheme
    867 -- 904Daniel Damian, Olivier Danvy. Syntactic accidents in program analysis: on the impact of the CPS transformation
    905 -- 923Jens Palsberg, Mitchell Wand. CPS transformation of flow information
    925 -- 933Daniel Damian, Olivier Danvy. CPS transformation of flow information, Part II: administrative reductions
    935 -- 944Ralf Hinze. Formatting: a class act
    945 -- 956Jean-Christophe Filliâtre, François Pottier. Producing all ideals of a forest, functionally
    957 -- 959J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker. Stack-based typed assembly language

    Volume 13, Issue 4

    709 -- 745Jean-Christophe Filliâtre. Verification of non-functional programs using interpretations in type theory
    747 -- 796Peter W. O Hearn. On bunched typing
    797 -- 814Patricia Johann. Short cut fusion is correct
    815 -- 822Chris Okasaki. Theoretical Pearls
    823 -- 824Chris Angus. Trends in Functional Programming (volumes 1 & 2) by Greg Michaelson, Phil Trinder and Hans-Wolfgang Loidl (editors volume 1), and Stephen Gilmore (editor volume 2). Intellect Books, Bristol, 2001, 2002
    824 -- 826Gaétan Hains. Implicit parallel programming in pH by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001
    826 -- 828Jerzy Karczmarczuk. Structure and Interpretation of Classical Mechanics by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer, The MIT Press; 2001, ISBN 0262194554
    828 -- 829Dan Russell. Algorithms: A Functional Programming Approach by Fethi Rabhi and Guy Lapalme, Addison-Wesley, 1999, ISBN 0-201-59604-0, xi + 235pp
    829 -- 831Walid Taha. Essentials of Programming Languages (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001
    831 -- 832Bryn Keller. The World of Scripting Languages by David W. Barron, John Wiley & Sons, 2000, ISBN 0-471-99886-9

    Volume 13, Issue 3

    453 -- 454Walid Taha. Semantics, Applications, and Implementation of Program Generation
    455 -- 481Conal Elliott, Sigbjorn Finne, Oege de Moor. Compiling embedded languages
    483 -- 508Bernd Fischer, Johann Schumann. AutoBayes: a system for generating data analysis programs from statistical models
    509 -- 543Adam Fischbach, John Hannan. Specification and correctness of lambda lifting
    545 -- 571Cristiano Calcagno, Eugenio Moggi, Tim Sheard. Closed types for a safe imperative MetaML
    573 -- 600Peter Thiemann. Program specialization for execution monitoring
    601 -- 646Norman Ramsey. Pragmatic aspects of reusable program generators
    647 -- 676Stefan Monnier, Zhong Shao. Inlining as staged computation
    677 -- 708Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim. Compiling for template-based run-time code generation

    Volume 13, Issue 2

    257 -- 260Gérard P. Huet. Special issue on Logical frameworks and metalanguages
    261 -- 293Gilles Barthe, Venanzio Capretta, Olivier Pons. Setoids in type theory
    295 -- 316Michael Y. Levin, Benjamin C. Pierce. TinkerType: a language for playing with formal systems
    317 -- 338Zhaohui Luo. ::::PAL:::::::+:::: a lambda-free logical framework
    339 -- 414Daria Walukiewicz-Chrzaszcz. Termination of rewriting in the Calculus of Constructions
    415 -- 451Christine Röckl, Daniel Hirschkoff. A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis

    Volume 13, Issue 1

    0 -- 6Simon L. Peyton Jones. Haskell 98: Introduction
    7 -- 16Simon L. Peyton Jones. Haskell 98: Lexical Structure
    17 -- 38Simon L. Peyton Jones. Haskell 98: Expressions
    39 -- 66Simon L. Peyton Jones. Haskell 98: Declarations and Bindings
    67 -- 80Simon L. Peyton Jones. Haskell 98: Modules
    81 -- 96Simon L. Peyton Jones. Haskell 98: Predefined Types and Classes
    97 -- 102Simon L. Peyton Jones. Haskell 98: Basic Input/Output
    103 -- 124Simon L. Peyton Jones. Haskell 98: Standard Prelude
    125 -- 138Simon L. Peyton Jones. Haskell 98: Syntax Reference
    139 -- 144Simon L. Peyton Jones. Haskell 98: Specification of Derived Instances
    145 -- 146Simon L. Peyton Jones. Haskell 98: Compiler Pragmas
    149 -- 152Simon L. Peyton Jones. Haskell 98 Libraries: Rational Numbers
    153 -- 156Simon L. Peyton Jones. Haskell 98 Libraries: Complex Numbers
    157 -- 168Simon L. Peyton Jones. Haskell 98 Libraries: Numeric Functions
    169 -- 172Simon L. Peyton Jones. Haskell 98 Libraries: Indexing Operations
    173 -- 178Simon L. Peyton Jones. Haskell 98 Libraries: Arrays
    179 -- 190Simon L. Peyton Jones. Haskell 98 Libraries: List Utilities
    191 -- 192Simon L. Peyton Jones. Haskell 98 Libraries: Maybe Utilities
    193 -- 198Simon L. Peyton Jones. Haskell 98 Libraries: Character Utilities
    199 -- 204Simon L. Peyton Jones. Haskell 98 Libraries: Monad Utilities
    205 -- 218Simon L. Peyton Jones. Haskell 98 Libraries: Input/Output
    219 -- 222Simon L. Peyton Jones. Haskell 98 Libraries: Directory Functions
    223 -- 224Simon L. Peyton Jones. Haskell 98 Libraries: System Functions
    225 -- 230Simon L. Peyton Jones. Haskell 98 Libraries: Dates and Times
    231 -- 232Simon L. Peyton Jones. Haskell 98 Libraries: Locales
    233 -- 234Simon L. Peyton Jones. Haskell 98 Libraries: CPU Time
    235 -- 240Simon L. Peyton Jones. Haskell 98 Libraries: Random Numbers
    241 -- 255Simon L. Peyton Jones. Haskell 98 Libraries: Bibliography
    runs on