The Journal of Functional Programming, Volume 16

Volume 16, Number 1, January 2006

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

Volume 16, Number 2, March 2006

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

Volume 16, Number 3, May 2006

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

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

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

Volume 16, Number 6, November 2006

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

Last update Fri May 24 20:34:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page