External Links

    Journal: Journal of Functional Programming

    Volume 23, Issue 6

    629 -- 657C. E. Martin, S. A. Curtis. Fractal image compression
    658 -- 700Matthew R. Lakin, Andrew M. Pitts. Contextual equivalence for inductive definitions with binders in higher order typed functional programming
    701 -- 712Michael Sperber, Anil Madhavapeddy. Commercial users of functional programming workshop report

    Volume 23, Issue 5

    515 -- 551Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang. Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
    552 -- 593Edwin Brady. Idris, a general-purpose dependently typed programming language: Design and implementation
    594 -- 628Katarzyna Grygiel, Pierre Lescanne. Counting and generating lambda terms

    Volume 23, Issue 4

    355 -- 356Kenichi Asai, Benjamin C. Pierce. Special Issue Dedicated to ICFP 2011 Editorial
    357 -- 401Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer. How to make ad hoc proof automation less ad hoc
    402 -- 451Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang. Secure distributed programming with value-dependent types
    452 -- 514Alexey Gotsman, Hongseok Yang. Modular verification of preemptive OS kernels

    Volume 23, Issue 3

    229 -- 248Wouter Swierstra, Thomas van Noort. A library for polymorphic dynamic typing
    249 -- 292Umut A. Acar, Matthias Blume, Jacob Donham. A consistent semantics of self-adjusting computation
    293 -- 350Simon J. Thompson, Huiqing Li. Refactoring tools for functional languages
    351 -- 352Greg Michaelson. Learn You a Haskell for Great Good! A Beginner's Guide, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp
    352 -- 354Prabhakar Ragde. OCaml from the Very Beginning, by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp

    Volume 23, Issue 2

    145 -- 160Mark P. Jones. Solving the snake cube puzzle in Haskell
    161 -- 173Keisuke Nakano. Metamorphism in jigsaw
    174 -- 184Richard S. Bird. An in-situ algorithm for expanding a graph
    185 -- 224Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer. EditorArrow: An arrow-based model for editor-based programming
    225 -- 226Laura Castro. Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652
    226 -- 227Ivan Lazar Miljenovic. Pearls of Functional Algorithm Design, by Richard Bird, Cambridge University Press, September 2010, £35.00, US $ 60.00. ISBN: 978052151338 (hardback), 286pp

    Volume 23, Issue 1

    1 -- 37Brigitte Pientka. An insider's look at LF type reconstruction: everything you (n)ever wanted to know
    38 -- 144François Pottier. Syntactic soundness proof of a type-and-capability system with hidden state
    runs on