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
  

Last update Sat May 18 20:52:09 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page