| 1990 | Model-Checking for Real-Time Systems | Rajeev Alur, Costas Courcoubetis, David L. Dill |
| 1990 | The Semantics of Reflected Proof | Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken |
| 1990 | A Per Model of Polymorphism and Recursive Types | Martn Abadi, Gordon D. Plotkin |
| 1989 | Type Inference for Record Concatenation and Multiple Inheritance | Mitchell Wand |
| 1989 | Extending the Lambda Calculus with Surjective Pairing is Conservative | Roel C. de Vrijer |
| 1989 | On the Complexity of Epistemic Reasoning | Moshe Y. Vardi |
| 1989 | Some Complexity Bounds for Dynamic Logics | Alexei P. Stolboushkin |
| 1989 | Domains and Logics (Extended Abstract) | Dana S. Scott |
| 1989 | How Complete is PER? | Edmund Robinson |
| 1989 | Nets and Data Flow Interpreters | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
| 1989 | Non-trivial Power Types Can't Be Subtypes of Polymorphic Types | Andrew M. Pitts |
| 1989 | Elf: A Language for Logic Definition and Verified Metaprogramming | Frank Pfenning |
| 1989 | Polynomially Grade Logic I: A Graded Version of System T | Anil Nerode, Jeffrey B. Remmel, Andre Scedrov |
| 1989 | Unified Algebras and Institutions | Peter D. Mosses |
| 1989 | A Game-Theoretic Modeling of Concurrency | Yiannis N. Moschovakis |
| 1989 | Computational Lambda-Calculus and Monads | Eugenio Moggi |
| 1989 | Non-Well-Founded Sets Obtained from Ideal Fixed Points | Michael W. Mislove, Lawrence S. Moss, Frank J. Oles |
| 1989 | A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems | Aart Middeldorp |
| 1989 | Axiomatizing Operational Equivalence in the Presence of Side Effects | Ian A. Mason, Carolyn L. Talcott |
| 1989 | ECC, an Extended Calculus of Constructions | Zhaohui Luo |
| 1989 | mu-Definable Sets of Integers | Robert S. Lubarsky |
| 1989 | The Mathematics of Nonmonotonic Reasoning (Abstract) | Vladimir Lifschitz |
| 1989 | Stratified Polymorphism (Extended Summary) | Daniel Leivant |
| 1989 | RI: A Logic for Reasoning with Inconsistency | Michael Kifer, Eliezer L. Lozinskii |
| 1989 | Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |