Journals in DBLP

J. Funct. Program.
1991, volume: 1, number: 2

1. Henk Barendregt
   Introduction to Generalized Type Systems. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1991, v:1, n:2, pp:125-154 [Journal]
   
2. Herman Geuvers, Mark-Jan Nederhof
   Modular Proof of Strong Normalization for the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1991, v:1, n:2, pp:155-189 [Journal]
   
3. Colin Runciman, Ian Toyn
   Retrieving Reusable Software Components by Polymorphic Type. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1991, v:1, n:2, pp:191-211 [Journal]
   
4. François Major, Guy Lapalme, Robert Cedergren
   Domain Generating Functions for Solving Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1991, v:1, n:2, pp:213-227 [Journal]
   
5. Henk Barendregt
   Self-Interpretations in lambda Calculus. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1991, v:1, n:2, pp:229-233 [Journal]
   
6. Richard S. Bird
   On Removing Duplicates. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1991, v:1, n:2, pp:235-243 [Journal]