External Links

    Journal: Journal of Functional Programming

    Volume 21, Issue 6

    563 -- 572Matti Nykänen. A note on the genuine Sieve of Eratosthenes
    573 -- 583Wouter Swierstra. Sorted - Verifying the Problem of the Dutch National Flag in Agda
    585 -- 615Norman Ramsey. Embedding an interpreted language using higher-order functions and types
    617 -- 662Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan. Shifting the stage - Staging with delimited control
    663 -- 664Jacques Carette. Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574
    664 -- 666Toni Cebrián. How to think about algorithms, by Jeff Edmonds, Cambridge University Press, ISBN 0521614104

    Volume 21, Issue 4-5

    331 -- 332Andrew P. Tolmach, Xavier Leroy. Special Issue Dedicated to ICFP 2009 Editorial
    333 -- 412Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. OutsideIn(X) Modular type inference with local assumptions
    413 -- 465Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan. Purely functional lazy nondeterministic programming
    467 -- 496Hai Liu, Eric Cheng, Paul Hudak. Causal commutative arrows
    497 -- 562Georg Neis, Derek Dreyer, Andreas Rossberg. Non-parametric parametricity

    Volume 21, Issue 3

    219 -- 234Ralf Hinze. Typed quote/antiquote or: Compile-time parsing
    235 -- 286Andrew M. Pitts. Structural recursion with locally scoped names
    287 -- 307Yoichi Hirai, Kazuhiko Yamamoto. Balancing weight-balanced trees
    309 -- 329Barney Stratford. A combinator library for the design of railway track layouts

    Volume 21, Issue 2

    119 -- 128Richard S. Bird. Building a consensus: A rectangle covering problem
    129 -- 133Maarten M. Fokkinga. The Hough transform
    135 -- 157Oliver Friedmann, Martin Lange. More on balanced diets
    159 -- 207Johannes Borgström, Andrew D. Gordon, Riccardo Pucella. Roles, stacks, histories: A triple for Hoare
    209 -- 213Peter Gammie. Short note: Strict unwraps make worker/wrapper fusion totally correct
    215 -- 217Jurriaan Hage. ::::Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages::::, by Terence Parr, Pragmatic Bookshelf, http: //www.pragprog.com, ISBN 9781934356456
    217 -- 218Willem de Jong. ::::Foundations of F#:::: Robert Pickering, Apress, 2007 ISBN 10: 1-59059-757-5

    Volume 21, Issue 1

    1 -- 19Peter Achten. The Soccer-Fun project
    21 -- 58Sungwoo Park, Hyeonseung Im. A calculus for hardware description
    59 -- 114Mary Sheeran. Functional and dynamic programming in the design of parallel prefix networks
    115 -- 117Peter Gammie. ::::Review: Lambda-Calculus and Combinators: An Introduction::::, Second Edition by J. R. Hindley and J. P. Seldin
    runs on