| 1993 | A Partial Evaluator for Data Flow Graphs. Jesper Vasell |
| 1993 | A Safety Analysis for Functional Programs. Peter Thiemann |
| 1993 | A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. Charles Consel |
| 1993 | Binding-Time Analysis and the Taming of C Pointers. Lars Ole Andersen |
| 1993 | Completeness and predicate-based abstract interpretation. Alan Mycroft |
| 1993 | Constructor Spezialization. Torben Æ. Mogensen |
| 1993 | Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. Mikhail A. Bulyonkov |
| 1993 | Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Baudouin Le Charlier, Pascal Van Hentenryck |
| 1993 | Higher-order Binding-time Analysis. Kei Davis |
| 1993 | Improving Abstract Interpretations by Combining Domains. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo |
| 1993 | Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. Charles Consel, Calton Pu, Jonathan Walpole |
| 1993 | Online Partial Deduction of Large Programs. Steven D. Prestwich |
| 1993 | Partial Evaluation of General Parsers. Christian Mossin |
| 1993 | Polymorphic Strictness Analysis using Frontiers. Julian Seward |
| 1993 | Polyvariant Binding-Time Analysis For Applicative Languages. Charles Consel |
| 1993 | Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993 David A. Schmidt |
| 1993 | Proofs by Structural Induction using Partial Evaluation. Julia L. Lawall |
| 1993 | Searching For Semantics. John Hannan |
| 1993 | The Correctness of an Optimized Code Generation. Torben Poort Lange |
| 1993 | Towards Efficient Partial Evaluation. Karoline Malmkjær |
| 1993 | Towards an Automated Tupling Strategy. Wei-Ngan Chin |
| 1993 | Tutorial on Specialisation of Logic Programs. John P. Gallagher |