| 1990 | Complexity Analysis for a Lazy Higher-Order Language. | David Sands |
| 1990 | Arity Raiser and its Use in Program Specialization. | Sergei A. Romanenko |
| 1990 | Algebraic Properties of Program Integration. | Thomas W. Reps |
| 1990 | Synthesis of Eureka Predicates for Developing Logic Programs. | Maurizio Proietti, Alberto Pettorossi |
| 1990 | Symbolic Finite Differencing - Part I. | Robert Paige |
| 1990 | Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. | Hanne Riis Nielson, Flemming Nielson |
| 1990 | Graph-based Implementation of a Functional Logic Langugage. | Herbert Kuchen, Rita Loogen, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |
| 1990 | The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. | Richard Kennaway |
| 1990 | Techniques for Improving Grammar Flow Analysis. | Martin Jourdan, Didier Parigot |
| 1990 | A Backwards Analysis for Compile-time Garbage Collection. | Thomas P. Jensen, Torben . Mogensen |
| 1990 | A Syntactic Theory of Transparent Parameterization. | Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman |
| 1990 | Resolution and Type Theory. | Leen Helmink |
| 1990 | Set Domains. | Reinhold Heckmann |
| 1990 | Development of Concurrent Systems by Incremental Transformations. | E. Pascal Gribomont |
| 1990 | Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. | Benjamin Goldberg, Young Gil Park |
| 1990 | On the Expressive Power of Programming Languages. | Matthias Felleisen |
| 1990 | Type Inference for Action Semantics. | Susan Even, David A. Schmidt |
| 1990 | From Interpreting to Compiling Binding Times. | Charles Consel, Olivier Danvy |
| 1990 | Automatic Autoprojection of Higher Order Recursive Equations. | Anders Bondorf |
| 1990 | Implementation of an Interpreter for a Parallel Language in Centaur. | Yves Bertot |
| 1990 | Types in Lambda Calculi and Programming Languages. | Henk Barendregt, Kees Hemerik |
| 1988 | On Implementing Logic Programming Languages on a Dataflow Architecture. | Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt |
| 1988 | Deforestation: Transforming Programs to Eliminate Trees. | Philip Wadler |
| 1988 | QPC: QJ-based Proof Compiler - Simple Examples and Analysis. | Yukihide Takayama |
| 1988 | Semantics-Based Program Integration. | Thomas W. Reps, Susan Horwitz |