Journals in DBLP

J. Funct. Program.
1997, volume: 7, number: 4

1. Tyng-Ruey Chuang, Benjamin Goldberg
   A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:4, pp:357-394 [Journal]
   
2. Fairouz Kamareddine, Alejandro Ríos
   Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:4, pp:395-420 [Journal]
   
3. Gad Aharoni, Amnon Barak, Amir Ronen
   A Competitive Algorithm for Managing Sharing in the Distributed Execution of Functional Programs. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:4, pp:421-440 [Journal]
   
4. Richard S. Bird
   On Building Trees with Minimum Height. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:4, pp:441-445 [Journal]