The Journal of Functional Programming, Volume 17

Volume 17, Number 1, January 2007

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

Volume 17, Number 2, March 2007

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

Volume 17, Number 3, May 2007

• Judicaël Courant:
  MC₂ A module calculus for Pure Type Systems. 287-352
  
• Gábor Mihály Surányi:
  An object-oriented calculus with term constraints. 353-386
  
• Luc Maranget:
  Warnings for pattern matching. 387-421
  
• Peter 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. 423-424
  
• Alex Simpson:
  Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637. 424-426
  
• Isaac Jones:
  The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001. 426-428
  
• Greg Michaelson:
  Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. 428-429
  

Volume 17, Numbers 4-5, July 2007

• Matthew Flatt, Benjamin C. Pierce:
  Preface. 431
  
• Derek Dreyer:
  Recursive type generativity. 433-471
  
• Martin Berger, Kohei Honda, Nobuko Yoshida:
  A logical analysis of aliasing in imperative higher-order functions. 473-546
  
• Peter 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. 547-612
  
• Robert Harper, Daniel R. Licata:
  Mechanizing metatheory in a logical framework. 613-673
  

Volume 17, Number 6, November 2007

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