Journals in DBLP

Inf. Comput.
1988, volume: 76, number: 2/3

1. Gordon D. Plotkin
   Preface [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:93- [Journal]
   
2. Thierry Coquand, Gérard P. Huet
   The Calculus of Constructions [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:95-120 [Journal]
   
3. Peter Padawitz
   The Equational Theory of Parameterized Specifications [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:121-137 [Journal]
   
4. Luca Cardelli
   A Semantics of Multiple Inheritance [Citation Graph (32, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:138-164 [Journal]
   
5. Donald Sannella, Andrzej Tarlecki
   Specifications in an Arbitrary Institution [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:165-210 [Journal]
   
6. John C. Mitchell
   Polymorphic Type Inference and Containment [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:211-249 [Journal]
   
7. Eugenio Moggi
   Partial Morphisms in Categories of Effective Objects [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:250-277 [Journal]
   
8. Butler W. Lampson, Rod M. Burstall
   Pebble, a Kernel Language for Modules and Abstract Data Types [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1988, v:76, n:2/3, pp:278-346 [Journal]