The Journal of Functional Programming, Volume 10

Volume 10, Number 1, January 2000

• Erik Meijer: Server side web scripting in Haskell. 1-18 BibTeX
• Limsoon Wong: Kleisli, a functional query system. 19-56 BibTeX
• Yang Jung, Greg Michaelson: A visualisation of polymorphic type checking. 57-75 BibTeX
• Masahito Hasegawa: Girard translation and logical predicates. 77-89 BibTeX
• Mark Hayden: Distributed communication in ML. 91-120 BibTeX

• Henk Barendregt, Silvia Ghilezan: Lambda terms for natural deduction, sequent calculus and cut elimination. 121-134 BibTeX

Volume 10, Number 2, March 2000

• Gustavo Betarte: Type checking dependent (record) types and subtyping. 137-166 BibTeX
• Gavin M. Bierman: Program equivalence in a linear functional language. 167-190 BibTeX
• Paul F. Hoogendijk, Oege de Moor: Container types categorically. 191-225 BibTeX

Volume 10, Number 3, May 2000

• Nikolaos Papaspyrou, Dragan Macos: A study of evaluation order semantics in expressions with side effects. 227-244 BibTeX
• Simon J. Thompson: A functional reactive animation of a lift using Fran. 245-268 BibTeX
• Xavier Leroy: A modular module system. 269-303 BibTeX

• Ralf Hinze: Perfect trees and bit-reversal permutations. 305-317 BibTeX

Volume 10, Number 4, July 2000

• Bruno Guillaume: The lambda-se-calculus does not preserve strong normalisation. 321-325 BibTeX
• Ralf Hinze: Generalizing generalized tries. 327-351 BibTeX
• Manuel Serrano: Bee: an integrated development environment for the Scheme programming language. 353-395 BibTeX

• J. Michael Spivey: Combinators for breadth-first search. 397-408 BibTeX
• Daniel Fridlender, Mia Indrika: Do we need dependent types? 409-415 BibTeX

Volume 10, Number 5, September 2000

• Gilles Barthe, Morten Heine Sørensen: Domain-free pure type systems. 417-452 BibTeX
• Joachim Niehren: Uniform confluence in concurrent computation. 453-499 BibTeX

Volume 10, Number 6, November 2000

• Ferruccio Damiani, Paola Giannini: Automatic useless-code elimination for HOT functional programs. 509-559 BibTeX
• Pascal Fradet, Julien Mallet: Compilation of a specialized functional language for massively parallel computers. 561-605 BibTeX
• Mayer Goldberg: Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. 607-623 BibTeX