| 1989 | A Probabilistic Powerdomain of Evaluations | C. Jones, Gordon D. Plotkin |
| 1989 | A Fully Abstract Semantics for a Functional Language with Logic Variables | Radha Jagadeesan, Prakash Panangaden, Keshav Pingali |
| 1989 | Equality In Lazy Computation Systems | Douglas J. Howe |
| 1989 | Structure and Representation in LF | Robert Harper, Donald Sannella, Andrzej Tarlecki |
| 1989 | Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions | Andreas Goerdt |
| 1989 | A Small Universal Model for System Executions | Jay L. Gischer |
| 1989 | Proof Theory and Semantics of Logic Programs | Haim Gaifman, Ehud Shapiro |
| 1989 | Negation As Refutation | Melvin Fitting |
| 1989 | On Substitutional Recursion Over Non-Well-Founded Sets | R. T. P. Fernando |
| 1989 | On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract) | E. Allen Emerson, Charanjit S. Jutla |
| 1989 | Axiomatizing Net Computations and Processes | Pierpaolo Degano, Jos Meseguer, Ugo Montanari |
| 1989 | Emil Post's Contributions to Computer Science | Martin Davis |
| 1989 | Computing with Recursive Types (Extended Abstract) | Stavros S. Cosmadakis |
| 1989 | Compositional Model Checking | Edmund M. Clarke, David E. Long, Kenneth L. McMillan |
| 1989 | Inheritance and Explicit Coercion (Preliminary Report) | Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov |
| 1989 | PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses | Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov |
| 1989 | Towards Action-Refinement in Process Algebras | Luca Aceto, Matthew Hennessy |
| 1989 | Fixpoint Extensions of First-Order Logic and Datalog-Like Languages | Serge Abiteboul, Victor Vianu |
| 1989 | Faithful Ideal Models for Recursive Polymorphic Types | Martn Abadi, Benjamin C. Pierce, Gordon D. Plotkin |
| 1988 | A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) | Glynn Winskel |
| 1988 | Corrigendum: Complete Type Inference for Simple Objects | Mitchell Wand |
| 1988 | Bisimulations and Divergence | D. J. Walker |
| 1988 | On the Arithmetic Inexpressiveness of Term Rewriting Systems | Sergei G. Vorobyov |
| 1988 | Proving unprovability | Michael L. Tiomkin |
| 1988 | The Strength of the Subset Type in Martin-Lf's Type Theory | Anne Salvesen, Jan M. Smith |