| 77 | -- | 78 | Dines Bjørner. Preface for the Special Issue (on Partial Evaluation and Mixed Computation) |
| 79 | -- | 86 | Andrei P. Ershov. Opening Key-Note Speech |
| 87 | -- | 90 | Neil D. Jones. Scientific Foreword |
| 91 | -- | 118 | Hiroshi Fujita, Koichi Furukawa. A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation |
| 119 | -- | 141 | David A. Fuller, Samson Abramsky. Mixed Computation of Prolog Programs |
| 143 | -- | 157 | Koichi Furukawa, Akira Okumura, Masaki Murakami. Unfolding Rules for GHC Programs |
| 159 | -- | 186 | John P. Gallagher, Michael Codish, Ehud Y. Shapiro. Specialisation of Prolog and FCP Programs Using Abstract Interpretation |
| 187 | -- | 209 | Laurent Hascoët. Partial Evaluation with Inference Rules |
| 211 | -- | 225 | Arun Lakhotia, Leon Sterling. Composing Recursive Logic Programs with Clausal Join |
| 227 | -- | 247 | Giorgio Levi, Giuseppe Sardu. Partial Evaluation of Metaprograms in a Multiple Worlds Logic Language |
| 249 | -- | 258 | Chiaki Sakama, Hidenori Itoh. Partial Evaluation of Queries in Deductive Databases |
| 259 | -- | 277 | Akikazu Takeuchi, Hiroshi Fujita. Competitive Partial Evaluation - Some Remaining Problems of Partial Evaluation |
| 279 | -- | 290 | Raf Venken, Bart Demoen. A Partial Evaluation System for Prolog: some Practical Considerations |
| 291 | -- | 302 | Neil D. Jones. Challenging Problems in Partial Evaluation and Mixed Computation |
| 303 | -- | 307 | Torben Æ. Mogensen, Carsten Kehler Holst. Terminology |
| 309 | -- | 354 | Peter Sestoft, Alexandre V. Zamulin. Annotated Bibliography on Partial Evaluation and Mixed Computation |