Journals in DBLP

J. Funct. Program.
2001, volume: 11, number: 1

1. Ralph Benzinger
   Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2001, v:11, n:1, pp:3-31 [Journal]
   
2. Neil D. Jones
   The expressive power of higher-order types or, life without CONS. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2001, v:11, n:1, pp:5-94 [Journal]
   
3. Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
   Algorithms with polynomial interpretation termination proof. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2001, v:11, n:1, pp:33-53 [Journal]
   
4. Salvatore Caporaso, Emanuele Covino, Giovanni Pani
   A predicative approach to the classification problem. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2001, v:11, n:1, pp:95-116 [Journal]
   
5. Robert J. Irwin, James S. Royer, Bruce M. Kapron
   On characterizations of the basic feasible functionals (Part I). [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2001, v:11, n:1, pp:117-153 [Journal]