| 1991 | The Semantics of Scheme Control-Flow Analysis. | Olin Shivers |
| 1991 | Optimization of Equational Programs Using Partial Evaluation. | David J. Sherman, Robert Strandh, Irne Durand |
| 1991 | Determinacy Analysis for Full Prolog. | Dan Sahlin |
| 1991 | Using Types to Avoid Redundant Specialization. | Erik Ruf, Daniel Weise |
| 1991 | Inversion and Metacomputation. | Alexander Romanenko |
| 1991 | Semantics Preserving Transformation Rules for Prolog. | Maurizio Proietti, Alberto Pettorossi |
| 1991 | Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. | Young Gil Park, Benjamin Goldberg |
| 1991 | Program Bifurcation for a Polymorphic Typed Functional Language. | Anne De Niel, Eddy Bevers, Karel De Vlaminck |
| 1991 | M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). | Robert Muller |
| 1991 | Compiling the Polymorphic Lambda-Calculus. | Spiro Michaylov, Frank Pfenning |
| 1991 | Techniques for Partial Evaluation of Imperative Languages. | Uwe Meyer |
| 1991 | Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. | Timothy S. McNerney |
| 1991 | Program Transformations for Configuring Components. | Ian A. Mason, Carolyn L. Talcott |
| 1991 | Detecting Static Algorithms by Partial Evaluation. | Bjrn Lisper |
| 1991 | Dynamic Specialization in Extended Functional Language with Monotone Objects. | Andrei V. Klimov |
| 1991 | Compiling Inheritance using Partial Evaluation. | Siau-Cheng Khoo, R. S. Sundaresh |
| 1991 | Binding Time Analysis: A New PERspective. | Sebastian Hunt, David Sands |
| 1991 | Partial Evaluation is Fuller Laziness. | Carsten Kehler Holst, Carsten K. Gomard |
| 1991 | Toward the Partial Evaluation of CLP Languages. | Timothy J. Hickey, Donald A. Smith |
| 1991 | Properties of Unfolding-based Meta-level Systems. | Torben Amtoft Hansen |
| 1991 | Staging Transformations for Abstract Machines. | John Hannan |
| 1991 | Globalization and Live Variables. | Carsten K. Gomard, Peter Sestoft |
| 1991 | Towards Multiple Self-Application. | Robert Glck |
| 1991 | Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. | Agostino Cortesi, Gilberto Fil |
| 1991 | A Syntactic Approach to Program Transformations. | Zena M. Ariola, Arvind |