| 1991 | A Syntactic Approach to Program Transformations. Zena M. Ariola, Arvind |
| 1991 | Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. Agostino Cortesi, Gilberto Filé |
| 1991 | Binding Time Analysis: A New PERspective. Sebastian Hunt, David Sands |
| 1991 | Building Incremental Programs using Partial Evaluation. R. S. Sundaresh |
| 1991 | Compiling Inheritance using Partial Evaluation. Siau-Cheng Khoo, R. S. Sundaresh |
| 1991 | Compiling the Polymorphic Lambda-Calculus. Spiro Michaylov, Frank Pfenning |
| 1991 | Detecting Static Algorithms by Partial Evaluation. Björn Lisper |
| 1991 | Determinacy Analysis for Full Prolog. Dan Sahlin |
| 1991 | Dynamic Specialization in Extended Functional Language with Monotone Objects. Andrei V. Klimov |
| 1991 | Generalized Partial Computation for a Lazy Functional Language. Akihiko Takano |
| 1991 | Globalization and Live Variables. Carsten K. Gomard, Peter Sestoft |
| 1991 | Inversion and Metacomputation. Alexander Romanenko |
| 1991 | Is There a Use for Linear Logic? Philip Wadler |
| 1991 | M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). Robert Muller |
| 1991 | Optimization of Equational Programs Using Partial Evaluation. David J. Sherman, Robert Strandh, Irène Durand |
| 1991 | Partial Evaluation is Fuller Laziness. Carsten Kehler Holst, Carsten K. Gomard |
| 1991 | Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. Donald A. Smith |
| 1991 | Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991 Charles Consel, Olivier Danvy |
| 1991 | Program Bifurcation for a Polymorphic Typed Functional Language. Anne De Niel, Eddy Bevers, Karel De Vlaminck |
| 1991 | Program Transformations for Configuring Components. Ian A. Mason, Carolyn L. Talcott |
| 1991 | Properties of Unfolding-based Meta-level Systems. Torben Amtoft Hansen |
| 1991 | Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. Young Gil Park, Benjamin Goldberg |
| 1991 | Semantics Preserving Transformation Rules for Prolog. Maurizio Proietti, Alberto Pettorossi |
| 1991 | Staging Transformations for Abstract Machines. John Hannan |
| 1991 | Techniques for Partial Evaluation of Imperative Languages. Uwe Meyer |
| 1991 | The Semantics of Scheme Control-Flow Analysis. Olin Shivers |
| 1991 | Toward the Partial Evaluation of CLP Languages. Timothy J. Hickey, Donald A. Smith |
| 1991 | Towards Multiple Self-Application. Robert Glück |
| 1991 | Using Types to Avoid Redundant Specialization. Erik Ruf, Daniel Weise |
| 1991 | Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. Timothy S. McNerney |