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 BibTeX
• Geoffrey Smith, Dennis M. Volpano: A Sound Polymorphic Type System for a Dialect of C. 49-72 BibTeX
• Helmut Seidl, Morten Heine Sørensen: Constraints to Stop Deforestation. 73-107 BibTeX
• Eva Rose: Linear-Time Hierarchies for a Functional Language Machine Model. 109-143 BibTeX
• Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone: Towards a Logical Semantics for Pure Prolog. 145-176 BibTeX
• Roberto Giacobazzi, Francesco Ranzato: Optimal Domains for Disjunctive Abstract Intepretation. 177-210 BibTeX