External Links

    Journal: Journal of Functional Programming

    Volume 17, Issue 6

    675 -- 686Rex L. Page. Engineering Software Correctness
    687 -- 730R. Kent Dybvig, Simon L. Peyton Jones, A. M. R. Sabry. A monadic framework for delimited continuations
    731 -- 776Neil Ghani, Patricia Johann. Monadic augment and generalised short cut fusion
    777 -- 792Graham Hutton, Joel Wright. What is the meaning of these constant interruptions?
    793 -- 812Olivier Danvy, Kevin Millikin, Lasse R. Nielsen. On one-pass CPS transformations
    813 -- 814Alicia Villanueva. Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0

    Volume 17, Issue 4-5

    431 -- 0Matthew Flatt, Benjamin C. Pierce. Preface
    433 -- 471Derek Dreyer. Recursive type generativity
    473 -- 546Martin Berger, Kohei Honda, Nobuko Yoshida. A logical analysis of aliasing in imperative higher-order functions
    547 -- 612Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. Acute: High-level programming language design for distributed computation
    613 -- 673Robert Harper, Daniel R. Licata. Mechanizing metatheory in a logical framework

    Volume 17, Issue 3

    287 -- 352Judicaël Courant. MC::2:: A module calculus for Pure Type Systems
    353 -- 386Gábor Mihály Surányi. An object-oriented calculus with term constraints
    387 -- 421Luc Maranget. Warnings for pattern matching
    423 -- 424Peter King. SMIL 2.0 Interactive Multimedia for Web and Mobile Devices by C. A. Dick Bulterman and Lloyd Rutledge, Springer X.media.publishing, 2004, 440pp, ISBN 3-540-20234-X
    424 -- 426Alex Simpson. Programming Languages and Operational Semantics by Fernández Maribel, King s College Publications, 2004, ISBN 0954300637
    426 -- 428Isaac Jones. The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001
    428 -- 429Greg Michaelson. Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741

    Volume 17, Issue 2

    145 -- 205Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock. An extended comparative study of language support for generic programming
    207 -- 214Philippe Narbel. Type sharing constraints and undecidability
    215 -- 286Hongwei Xi. Dependent ML An approach to practical programming with dependent types

    Volume 17, Issue 1

    1 -- 82Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields. Practical type inference for arbitrary-rank types
    83 -- 129Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey. Understanding functional dependencies via constraint handling rules
    131 -- 143David Wakeling. Spreadsheet functional programming
    runs on