| 1989 | A Calculus of Higher Order Communicating Systems. Bent Thomsen |
| 1989 | A Fully Abstract Trace Model for Dataflow Networks. Bengt Jonsson |
| 1989 | A Rewriting Semantics for Program Dependence Graphs. Rebecca Parsons Selke |
| 1989 | An Efficient Method of Computing Static Single Assignment Form. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck |
| 1989 | Bisimulation Through Probabilistic Testing. Kim Guldstrand Larsen, Arne Skou |
| 1989 | CLP* and Constraint Abstraction. Timothy J. Hickey |
| 1989 | Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989 |
| 1989 | Continuation-Passing, Closure-Passing Style. Andrew W. Appel, Trevor Jim |
| 1989 | Copy Elimination in Functional Languages. K. Gopinath, John L. Hennessy |
| 1989 | Dynamic Typing in a Statically-Typed Language. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |
| 1989 | Efficient Temporal Reasoning. E. Allen Emerson, Tom Sadler, Jai Srinivasan |
| 1989 | Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. Christine Paulin-Mohring |
| 1989 | Fast Interprocedural Alias Analysis. Keith D. Cooper, Ken Kennedy |
| 1989 | Fully Abstract Compositional Semantics for Logic Programs. Haim Gaifman, Ehud Shapiro |
| 1989 | Generalized Conjunctive Types. Gennaro Monteleone |
| 1989 | How to Make ad-hoc Polymorphism Less ad-hoc. Philip Wadler, Stephen Blott |
| 1989 | Incremental Computation via Function Caching. William W. Pugh, Tim Teitelbaum |
| 1989 | Moded Type Systems for Logic Programming. Katherine A. Yelick, Joseph L. Zachary |
| 1989 | On the Synthesis of a Reactive Module. Amir Pnueli, Roni Rosner |
| 1989 | Partial Order Programming. Douglas Stott Parker Jr. |
| 1989 | Polymorphic Unification and ML Typing. Paris C. Kanellakis, John C. Mitchell |
| 1989 | Realistic Compilation by Program Transformation. Richard Kelsey, Paul Hudak |
| 1989 | Relating Models of Polymorphism. José Meseguer |
| 1989 | Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh |
| 1989 | Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. Nachum Dershowitz, Stéphane Kaplan |
| 1989 | Synthesis of Concurrent Systems with Many Similar Sequential Processes. Paul C. Attie, E. Allen Emerson |
| 1989 | Temporal Logic Programming is Complete and Expressive. Marianne Baudinet |
| 1989 | The Modula-3 Type System. Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson |
| 1989 | The Program Dependence Graph and Vectorization. William Baxter, Henry R. Bauer III |
| 1989 | Typechecking Records and Variants in a Natural Extension of ML. Didier Rémy |
| 1989 | Unified Algebras and Modules. Peter D. Mosses |