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
  Electronic Edition (link) BibTeX
• Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey:
  Understanding functional dependencies via constraint handling rules. 83-129
  Electronic Edition (link) BibTeX
• David Wakeling:
  Spreadsheet functional programming. 131-143
  Electronic Edition (link) BibTeX

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
  Electronic Edition (link) BibTeX
• Philippe Narbel:
  Type sharing constraints and undecidability. 207-214
  Electronic Edition (link) BibTeX
• Hongwei Xi:
  Dependent ML An approach to practical programming with dependent types. 215-286
  Electronic Edition (link) BibTeX