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
Copyright ©
Sun May 17 00:18:40 2009 by
Michael Ley
(
ley@uni-trier.de
)