Journals in DBLP

J. Funct. Program.
1995, volume: 5, number: 4

1. Charles Consel, Siau-Cheng Khoo
   On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1995, v:5, n:4, pp:461-500 [Journal]
   
2. Amir Kishon, Paul Hudak
   Semantics Directed Program Execution Monitoring. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1995, v:5, n:4, pp:501-547 [Journal]
   
3. Willem G. Vree, Pieter H. Hartel
   Communication Lifting: Fixed Point Computation for Parallelism. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1995, v:5, n:4, pp:549-581 [Journal]
   
4. Chris Okasaki
   Simple and Efficient Purely Functional Queues and Deques. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1995, v:5, n:4, pp:583-592 [Journal]
   
5. Martin Hofmann, Benjamin C. Pierce
   A Unifying Type-Theoretic Framework for Objects. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1995, v:5, n:4, pp:593-635 [Journal]
   
6. Fairouz Kamareddine, Rob Nederpelt
   Refining Reduction in the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1995, v:5, n:4, pp:637-651 [Journal]