Journals in DBLP

J. Funct. Program.
1996, volume: 6, number: 1

1. Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
   Generic Functional Programming with Types and Relations. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:1-28 [Journal]
   
2. Pieter H. Hartel, Hugh Glaser
   The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:29-45 [Journal]
   
3. Andrew W. Appel, Zhong Shao
   Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:47-74 [Journal]
   
4. Geoffrey L. Burn, Daniel Le Métayer
   Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:75-109 [Journal]
   
5. John Greiner
   Weak Polymorphism can be Sound. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:111-141 [Journal]
   
6. Philip W. Grant, J. A. Sharp, Michael F. Webster, X. Zhang
   Sparse Matrix Representations in a Functional Language. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:143-170 [Journal]
   
7. Peter W. O'Hearn
   Note on Algol and Conservatively Extending Functional Programming. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:171-180 [Journal]
   
8. Graham Hutton, Erik Meijer
   Back to Basics: Deriving Representation Changers Functionally. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:1, pp:181-188 [Journal]