The Journal of Functional Programming, Volume 12

Volume 12, Number 1, January 2002

• Andreas Abel, Thorsten Altenkirch: A predicative analysis of structural recursion. 1-41 BibTeX
• J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. 3-88 BibTeX

Volume 12, Number 2, March 2002

• Davide Ancona, Elena Zucca: A calculus of module systems. 91-132 BibTeX
• Dominic Duggan, John Ophel: Type-checking multi-parameter type classes. 133-158 BibTeX
• Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen: DrScheme: a programming environment for Scheme. 159-182 BibTeX

Volume 12, Number 3, May 2002

• J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak: A calculus with polymorphic and polyvariant flow types. 183-227 BibTeX
• Silvano Dal-Zilio, Andrew D. Gordon: Region analysis and a pi-calculus with groups. 229-292 BibTeX

Volume 12, Number 4&5, July 2002

• Karl-Filip Faxén: A static semantics for Haskell. 295-357 BibTeX
• Simon Marlow: Developing a high-performance web server in Concurrent Haskell. 359-374 BibTeX
• Conor McBride: Faking it: Simulating dependent types in Haskell. 375-392 BibTeX
• Simon L. Peyton Jones, Simon Marlow: Secrets of the Glasgow Haskell Compiler inliner. 393-433 BibTeX
• Peter Thiemann: A typed representation for HTML and XML documents in Haskell. 435-468 BibTeX
• Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon: Parallel and Distributed Haskells. 469-510 BibTeX

Volume 12, Number 6, November 2002

• Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce:
  Recursive subtyping revealed. 511-548
  Electronic Edition (link) BibTeX
• Peter Selinger:
  The lambda calculus is algebraic. 549-566
  Electronic Edition (link) BibTeX
• Karl Crary, Stephanie Weirich, J. Gregory Morrisett:
  Intensional polymorphism in type-erasure semantics. 567-600
  Electronic Edition (link) BibTeX

• Ralf Hinze:
  A fresh look at binary search trees. 601-607
  Electronic Edition (link) BibTeX
• Graham Hutton:
  The countdown problem. 609-616
  Electronic Edition (link) BibTeX

• Daniel P. Friedman, Amr Sabry:
  CPS in little pieces: composing partial continuations. 617-622
  Electronic Edition (link) BibTeX