Journals in DBLP

J. Funct. Program.
1992, volume: 2, number: 4

1. Gad Aharoni, Dror G. Feitelson, Amnon Barak
   A Run-Time Algorithm for Managing the Granularity of Parallel Functional Programs. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1992, v:2, n:4, pp:387-405 [Journal]
   
2. François Bourdoncle
   Abstract Interpretation by Dynamic Partitioning. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1992, v:2, n:4, pp:407-423 [Journal]
   
3. P. J. Brumfitt
   MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1992, v:2, n:4, pp:437-473 [Journal]
   
4. Mark P. Jones
   Computing with Lattices: An Application of Type Classes. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1992, v:2, n:4, pp:475-503 [Journal]
   
5. Rob R. Hoogerwoord
   A Symmetric Set of Efficient List Operations. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1992, v:2, n:4, pp:505-513 [Journal]