Journals in DBLP

TAPOS
1999, volume: 5, number: 1

1. Benjamin C. Pierce
   Foundations of Object-Oriented Languages - Introduction. [Citation Graph (0, 0)][DBLP]
   TAPOS, 1999, v:5, n:1, pp:1- [Journal]
   
2. Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
   Is the Java Type System Sound? [Citation Graph (0, 0)][DBLP]
   TAPOS, 1999, v:5, n:1, pp:3-24 [Journal]
   
3. Davide Sangiorgi
   Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects. [Citation Graph (0, 0)][DBLP]
   TAPOS, 1999, v:5, n:1, pp:25-33 [Journal]
   
4. Martin Odersky, Martin Sulzmann, Martin Wehr
   Type Inference with Constrained Types. [Citation Graph (0, 0)][DBLP]
   TAPOS, 1999, v:5, n:1, pp:35-55 [Journal]
   
5. Fritz Henglein
   Breaking Through the n³ Barrier: Faster Object Type Inference. [Citation Graph (0, 0)][DBLP]
   TAPOS, 1999, v:5, n:1, pp:57-72 [Journal]