Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 75, number:

1. Gilles Barthe, Peter Thiemann
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
   
2. Steffen van Bakel
   Rank 2 Types for Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
   
3. Daniel Bonniot
   Using kinds to type partially-polymorphic methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
   
4. Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos
   The Impact of Linearity Information on the Performance of TyCO. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
   
5. Christian Skalka, François Pottier
   Syntactic Type Soundness for HM(X). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
   
6. Christian Skalka, Scott F. Smith
   Set Types and Applications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
   
7. Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
   Regular Expression Types for Strings in a Text Processing Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]