The Journal of Functional Programming, Volume 10

Volume 10, Number 1, January 2000

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

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

Volume 10, Number 2, March 2000

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

Volume 10, Number 3, May 2000

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

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

Volume 10, Number 4, July 2000

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

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

Volume 10, Number 5, September 2000

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

Volume 10, Number 6, November 2000

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