| 1984 | A Combinator-Based Compiler for a Functional Language. Paul Hudak, David A. Kranz |
| 1984 | A Good Hoare Axiom System for an Algol-like Language. Joseph Y. Halpern |
| 1984 | A Hierarchical Basis for Reordering Transformations. Joe D. Warren |
| 1984 | A Less Dynamic Memory Allocation Scheme for Algol-like Languages. Thomas P. Murtagh |
| 1984 | A Types-as-Sets Semantics for Milner-Style Polymorphism. Mitchell Wand |
| 1984 | An Ideal Model for Recursive Polymorphic Types. David B. MacQueen, Gordon D. Plotkin, Ravi Sethi |
| 1984 | Applicative Programming and Digital Design. Steven D. Johnson |
| 1984 | Coercion and Type Inference. John C. Mitchell |
| 1984 | Completion of a Set of Rules Modulo a Set of Equations. Jean-Pierre Jouannaud, Hélène Kirchner |
| 1984 | Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984 Ken Kennedy, Mary S. Van Deusen, Larry Landweber |
| 1984 | Constraining-Unification and the Programming Language Unicorn. Robert G. Bandes |
| 1984 | Creating Efficient Systems for Object-Oriented Languages. Norihisa Suzuki, Minoru Terada |
| 1984 | Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited. Don Milos, Uwe F. Pleban, George Loegel |
| 1984 | Editing by Example. Robert P. Nix |
| 1984 | Efficient Applicative Data Types. Eugene W. Myers |
| 1984 | Efficient Implementation of the Smalltalk-80 System. L. Peter Deutsch, Allan M. Schiffman |
| 1984 | Expressional Loops. Richard C. Waters |
| 1984 | Generalized Fair Termination. Nissim Francez, Dexter Kozen |
| 1984 | Grids: A New Program Structuring Mechanism Based on Layered Graphs. Harold Ossher |
| 1984 | Implementation of an Interpreter for Abstract Equations. Christoph M. Hoffmann, Michael J. O'Donnell |
| 1984 | Interactive Proof Checking. Thomas W. Reps, Bowen Alpern |
| 1984 | Inverse Currying Transformation on Attribute Grammars. Reinhard Wilhelm |
| 1984 | On Relative Completeness of Programming Logics. Michal Grabowski |
| 1984 | Paragon: Novel Uses of Type Hierarchies for Data Abstraction. Mark Sherman |
| 1984 | Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. P. A. Subrahmanyam, Jia-Huai You |
| 1984 | Reflection and Semantics in Lisp. Brian Cantwell Smith |
| 1984 | Static Inference of Properties of Applicative Programs. Prateek Mishra, Robert M. Keller |
| 1984 | Stop Losing Sleep Over Incomplete Data Type Specifications. Jean-Jacques Thiel |
| 1984 | Systems Programming in Concurrent Prolog. Ehud Shapiro |
| 1984 | Temporal Verification of Carrier-Sense Local Area Network Protocols. Dennis E. Shasha, Amir Pnueli, W. Ewald |
| 1984 | The Global Storage Needs of a Subcomputation. Jean-Claude Raoult, Ravi Sethi |
| 1984 | The Semantics of Local Storage, or What Makes the Free-List Free? Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot |
| 1984 | Treat - An Applicative Code Generator. Jerald S. Schwarz, Dean Rubine |