Science of Computer Programming, Volume 32

Volume 32, Numbers 1-3, September 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/JonesS98
- ask others
Simon L. Peyton Jones, André L. M. Santos: A Transformation-Based Optimiser for Haskell. 3-47
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/SmithV98
- ask others
Geoffrey Smith, Dennis M. Volpano: A Sound Polymorphic Type System for a Dialect of C. 49-72
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/SeidlS98
- ask others
Helmut Seidl, Morten Heine Sørensen: Constraints to Stop Deforestation. 73-107
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/Rose98
- ask others
Eva Rose: Linear-Time Hierarchies for a Functional Language Machine Model. 109-143
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/BarbutiFMS98
- ask others
Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone: Towards a Logical Semantics for Pure Prolog. 145-176
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/GiacobazziR98
- ask others
Roberto Giacobazzi, Francesco Ranzato: Optimal Domains for Disjunctive Abstract Intepretation. 177-210