External Links

    Journal: Nord. J. Comput.

    Volume 7, Issue 4

    257 -- 0Gert Smolka. Guest Editor s Foreword
    258 -- 289Martin Hofmann. A Type System for Bounded Space and Functional In-Place Update
    290 -- 311Laurent Mauborgne. An Incremental Unique Representation for Regular Trees
    312 -- 347François Pottier. A Versatile Constraint-Based Type Inference System
    348 -- 374Claudio V. Russo. First-Class Structures for Standard ML
    375 -- 0Helmut Seidl, Bernhard Steffen. Constraint-Based Inter-Procedural Analysis of Parallel Programs
    runs on