Science of Computer Programming, Volume 17

Volume 17, Numbers 1-3, December 1991

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