The Journal of Functional Programming, Volume 16

Volume 16, Number 1, January 2006

• David Wakeling:
  Educational Pearl: Biological sequence similarity. 1-12
  Electronic Edition (link) BibTeX
• Richard S. Bird, Sharon A. Curtis:
  Functional Pearls: Finding celebrities: A lesson in functional programming. 13-20
  Electronic Edition (link) BibTeX
• Martin Erwig, Steve Kollmansberger:
  Functional Pearls: Probabilistic functional programming in Haskell. 21-34
  Electronic Edition (link) BibTeX
• Per Gustafsson, Konstantinos F. Sagonas:
  Efficient manipulation of binary data using pattern matching. 35-74
  Electronic Edition (link) BibTeX
• Ketil Malde, Robert Giegerich:
  Calculating PSSM probabilities with lazy dynamic programming. 75-81
  Electronic Edition (link) BibTeX
• Tian Zhao, Jens Palsberg, Jan Vitek:
  Type-based confinement. 83-128
  Electronic Edition (link) BibTeX

Volume 16, Number 2, March 2006

• Sharon A. Curtis:
  Functional Pearl: Marble mingling. 129-136
  Electronic Edition (link) BibTeX
• Gilles Barthe, Thierry Coquand:
  Remarks on the equational theory of non-normalizing pure type systems. 137-155
  Electronic Edition (link) BibTeX
• Jim Grundy, Thomas F. Melham, John W. O'Leary:
  A reflective functional language for hardware design and theorem proving. 157-196
  Electronic Edition (link) BibTeX
• Ralf Hinze, Ross Paterson:
  Finger trees: a simple general-purpose data structure. 197-217
  Electronic Edition (link) BibTeX
• Robin Adams:
  Pure type systems with judgemental equality. 219-246
  Electronic Edition (link) BibTeX

Volume 16, Number 3, May 2006

• Shriram Krishnamurthi:
  Educational Pearl: Automata via macros. 253-267
  Electronic Edition (link) BibTeX
• Dariusz Biernacki, Olivier Danvy:
  Theoretical Pearl: A simple proof of a folklore theorem about delimited control. 269-280
  Electronic Edition (link) BibTeX
• Jeremy Gibbons, David Lester, Richard S. Bird:
  Functional Pearl: Enumerating the rationals. 281-291
  Electronic Edition (link) BibTeX
• Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein:
  Gencel: a program generator for correct spreadsheets. 293-325
  Electronic Edition (link) BibTeX
• Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hoffman:
  Consistency of the theory of contexts. 327-372
  Electronic Edition (link) BibTeX

Volume 16, Number 4-5, July-September 2006

• Kathleen Fisher:
  Introduction. 373-374
  Electronic Edition (link) BibTeX
• Matthias Blume, David A. McAllester:
  Sound and complete models of contracts. 375-414
  Electronic Edition (link) BibTeX
• Simon Marlow, Simon L. Peyton Jones:
  Making a fast curry: push/enter vs. eval/apply for higher-order languages. 415-449
  Electronic Edition (link) BibTeX
• Ralf Hinze:
  Generics for the masses. 451-483
  Electronic Edition (link) BibTeX
• Matthew Fluet, Greg Morrisett:
  Monadic regions. 485-545
  Electronic Edition (link) BibTeX
• Olin Shivers, David Fisher:
  Multi-return function call. 547-582
  Electronic Edition (link) BibTeX
• Robert Bruce Findler, Matthew Flatt:
  Slideshow: functional presentations. 583-619
  Electronic Edition (link) BibTeX
• Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani:
  Static analysis for path correctness of XML queries. 621-661
  Electronic Edition (link) BibTeX

Volume 16, Number 6, November 2006

• Kwangkeun Yi:
  Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. 663-670
  Electronic Edition (link) BibTeX
• Richard S. Bird:
  Functional Pearl: A program to solve Sudoku. 671-679
  Electronic Edition (link) BibTeX
• Stephanie Weirich:
  Type-safe run-time polytypic programming. 681-710
  Electronic Edition (link) BibTeX
• Haruo Hosaya:
  Regular expression filters for XML. 711-750
  Electronic Edition (link) BibTeX
• Matthew Fluet, Riccardo Pucella:
  Phantom types and subtyping. 751-791
  Electronic Edition (link) BibTeX
• Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
  Featherweight generic confinement. 793-811
  Electronic Edition (link) BibTeX