Science of Computer Programming, Volume 32

Volume 32, Numbers 1-3, September 1998

• Simon L. Peyton Jones, André L. M. Santos: A Transformation-Based Optimiser for Haskell. 3-47
• Geoffrey Smith, Dennis M. Volpano: A Sound Polymorphic Type System for a Dialect of C. 49-72
• Helmut Seidl, Morten Heine Sørensen: Constraints to Stop Deforestation. 73-107
• Eva Rose: Linear-Time Hierarchies for a Functional Language Machine Model. 109-143
• Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone: Towards a Logical Semantics for Pure Prolog. 145-176
• Roberto Giacobazzi, Francesco Ranzato: Optimal Domains for Disjunctive Abstract Intepretation. 177-210