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
  

Last update Thu May 23 19:08:12 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page