External Links

Journal: Science of Computer Programming

Volume 17, Issue 1-3

1 -- 2Neil D. Jones. Foreword (Selected Papers of ESOP 90)
3 -- 34Anders Bondorf. Automatic Autoprojection of Higher Order Recursive Equations
35 -- 75Matthias Felleisen. On the Expressive Power of Programming Languages
77 -- 117Reinhold Heckmann. Power Domain Constructions
119 -- 138Leen Helmink. Resolution and Type Theory
139 -- 215Thomas W. Reps. Algebraic Properties of Program Integration
217 -- 245Satish Thatte. A Type System for Implicit Scaling
runs on