Journals in DBLP

Sci. Comput. Program.
1987, volume: 8, number: 2

1. Richard S. Bird
   A Formal Development of an Efficient Subercombinator Compiler. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:8, n:2, pp:113-137 [Journal]
   
2. David Gries, Jan Prins
   McLaren's Masterpiece. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:8, n:2, pp:139-145 [Journal]
   
3. Luca Cardelli
   Basic Polymorphic Typechecking. [Citation Graph (3, 0)][DBLP]
   Sci. Comput. Program., 1987, v:8, n:2, pp:147-172 [Journal]
   
4. Guy Cousineau, Pierre-Louis Curien, Michel Mauny
   The Categorical Abstract Machine. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:8, n:2, pp:173-202 [Journal]
   
5. Martin Rem
   Small Programming Exercises 16. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:8, n:2, pp:203-211 [Journal]