| 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 | Algebraic Properties of Program Integration. Thomas W. Reps |
| 1990 | Arity Raiser and its Use in Program Specialization. Sergei A. Romanenko |
| 1990 | Automatic Autoprojection of Higher Order Recursive Equations. Anders Bondorf |
| 1990 | Complexity Analysis for a Lazy Higher-Order Language. David Sands |
| 1990 | Development of Concurrent Systems by Incremental Transformations. E. Pascal Gribomont |
| 1990 | ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings Neil D. Jones |
| 1990 | Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. Hanne Riis Nielson, Flemming Nielson |
| 1990 | From Interpreting to Compiling Binding Times. Charles Consel, Olivier Danvy |
| 1990 | Graph-based Implementation of a Functional Logic Langugage. Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
| 1990 | Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. Benjamin Goldberg, Young Gil Park |
| 1990 | Implementation of an Interpreter for a Parallel Language in Centaur. Yves Bertot |
| 1990 | Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe |
| 1990 | On the Expressive Power of Programming Languages. Matthias Felleisen |
| 1990 | On the Weak Adequacy of Branching-Time Remporal Logic. Philippe Schnoebelen, Sophie Pinchinat |
| 1990 | Resolution and Type Theory. Leen Helmink |
| 1990 | Set Domains. Reinhold Heckmann |
| 1990 | Symbolic Finite Differencing - Part I. Robert Paige |
| 1990 | Synthesis of Eureka Predicates for Developing Logic Programs. Maurizio Proietti, Alberto Pettorossi |
| 1990 | Techniques for Improving Grammar Flow Analysis. Martin Jourdan, Didier Parigot |
| 1990 | The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. Richard Kennaway |
| 1990 | The Value Flow Graph: A Program Representation for Optimal Program Transformations. Bernhard Steffen, Jens Knoop, Oliver Rüthing |
| 1990 | Towards the Theory of Programming in Constructive Logic. Andrei Voronkov |
| 1990 | Type Inference and Implicit Scaling. Satish Thatté |
| 1990 | Type Inference for Action Semantics. Susan Even, David A. Schmidt |
| 1990 | Types in Lambda Calculi and Programming Languages. Henk Barendregt, Kees Hemerik |