Journals in DBLP

J. Funct. Program.
2000, volume: 10, number: 1

1. Erik Meijer
   Server side web scripting in Haskell. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2000, v:10, n:1, pp:1-18 [Journal]
   
2. Limsoon Wong
   Kleisli, a functional query system. [Citation Graph (1, 0)][DBLP]
   J. Funct. Program., 2000, v:10, n:1, pp:19-56 [Journal]
   
3. Yang Jung, Greg Michaelson
   A visualisation of polymorphic type checking. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2000, v:10, n:1, pp:57-75 [Journal]
   
4. Masahito Hasegawa
   Girard translation and logical predicates. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2000, v:10, n:1, pp:77-89 [Journal]
   
5. Mark Hayden
   Distributed communication in ML. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2000, v:10, n:1, pp:91-120 [Journal]
   
6. Henk Barendregt, Silvia Ghilezan
   Lambda terms for natural deduction, sequent calculus and cut elimination. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2000, v:10, n:1, pp:121-134 [Journal]