Journals in DBLP

Nord. J. Comput.
2000, volume: 7, number: 4

1. Gert Smolka
   Guest Editor's Foreword. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2000, v:7, n:4, pp:257- [Journal]
   
2. Martin Hofmann
   A Type System for Bounded Space and Functional In-Place Update. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2000, v:7, n:4, pp:258-289 [Journal]
   
3. Laurent Mauborgne
   An Incremental Unique Representation for Regular Trees. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2000, v:7, n:4, pp:290-311 [Journal]
   
4. François Pottier
   A Versatile Constraint-Based Type Inference System. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2000, v:7, n:4, pp:312-347 [Journal]
   
5. Claudio V. Russo
   First-Class Structures for Standard ML. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2000, v:7, n:4, pp:348-374 [Journal]
   
6. Helmut Seidl, Bernhard Steffen
   Constraint-Based Inter-Procedural Analysis of Parallel Programs. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2000, v:7, n:4, pp:375-0 [Journal]