| 1988 | A Collecting Interpretation of Expressions (Without Powerdomains). Paul Hudak, Jonathan Young |
| 1988 | A Compositional Approach to Superimposition. Luc Bougé, Nissim Francez |
| 1988 | A Proper Extension of ML with an Effective Type-Assignment. A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1988 | A Temporal Fixpoint Calculus. Moshe Y. Vardi |
| 1988 | Automatic Binding Time Analysis for a Typed Lambda-Calculus. Hanne Riis Nielson, Flemming Nielson |
| 1988 | Bisimulation Can't Be Traced. Bard Bloom, Sorin Istrail, Albert R. Meyer |
| 1988 | Compiler Optimizations for Asynchronous Systolic Array Programs. Monica Lam |
| 1988 | Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988 Jeanne Ferrante, Peter Mager |
| 1988 | Correct Flow Analysis in Continuation Semantics. Margaret Montenyohl, Mitchell Wand |
| 1988 | Detecting Equality of Variables in Programs. Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck |
| 1988 | Efficient Dataflow Analysis of Logic Programs. Saumya K. Debray |
| 1988 | Global Value Numbers and Redundant Computations. Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck |
| 1988 | Incremental Data Flow Analysis via Dominator and Attribute Updates. Martin D. Carroll, Barbara G. Ryder |
| 1988 | Inductive Methods for Reasoning about Abstract Data Types. Stephen J. Garland, John V. Guttag |
| 1988 | Inheritance in Smalltalk-80: A Denotational Definition. Samuel N. Kamin |
| 1988 | Integrating Non-Interfering Versions of Programs. Susan Horwitz, Jan F. Prins, Thomas W. Reps |
| 1988 | Lifetime Analysis of Dynamically Allocated Objects. Cristina Ruggieri, Thomas P. Murtagh |
| 1988 | On the Adequacy of Program Dependence Graphs for Representing Programs. Susan Horwitz, Jan F. Prins, Thomas W. Reps |
| 1988 | Optimal Code Generation for Expression Trees: An Application of BURS Theory. Eduardo Pelegrí-Llopart, Susan L. Graham |
| 1988 | Polymorphic Effect Systems. John M. Lucassen, David K. Gifford |
| 1988 | Sacrificing Simplicity for Convenience: Where Do You Draw the Line? John H. Williams, Edward L. Wimmers |
| 1988 | Stores and Partial Continuations as First-Class Objects in a Language and its Environment. Gregory F. Johnson, Dominic Duggan |
| 1988 | Strictness Analysis Aids Time Analysis. Philip Wadler |
| 1988 | Structural Subtyping and the Notion of Power Type. Luca Cardelli |
| 1988 | Supernode Partitioning. François Irigoin, Rémi Triolet |
| 1988 | The Essence of ML. John C. Mitchell, Robert Harper |
| 1988 | The Theory and Practice of First-Class Prompts. Matthias Felleisen |
| 1988 | Towards Fully Abstract Semantics for Local Variables. Albert R. Meyer, Kurt Sieber |
| 1988 | Type Inference with Subtypes. Ryan Stansifer |