Science of Computer Programming, Volume 17

Volume 17, Numbers 1-3, December 1991

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