External Links

Journal: Science of Computer Programming

Volume 25, Issue 2-3

79 -- 80Donald Sannella. Foreword: Selected Papers of ESOP 94
81 -- 116Martín Abadi, Luca Cardelli. A Theory of Primitive Objects: Second-Order Systems
117 -- 147James H. Andrews. Foundational Issues in Implementing Constraint Logic Programming Systems
149 -- 186Michel Bidoit, Rolf Hennicker, Martin Wirsing. Behavioural and Abstractor Specifications
187 -- 218Robert Giegerich, Stefan Kurtz. A Comparison of Imperative and Purely Functional Suffix Tree Constructions
219 -- 249Chris Hankin, Daniel Le Métayer. Lazy Type Inference and Program Analysis
251 -- 283C. Barry Jay. A Semantics for Shape
285 -- 327K. V. S. Prasad. A Calculus of Broadcasting Systems
runs on