| 1993 | A Categorized Bibliography on Incremental Computation. G. Ramalingam, Thomas W. Reps |
| 1993 | A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. Damien Doligez, Xavier Leroy |
| 1993 | A Constructive Logic of Multiple Subtyping. Harry G. Mairson |
| 1993 | A Natural Semantics for Lazy Evaluation. John Launchbury |
| 1993 | A Novel Framework of Register Allocation for Software Pipelining. Qi Ning, Guang R. Gao |
| 1993 | A Sort Inference Algorithm for the Polyadic Pi-Calculus. Simon J. Gay |
| 1993 | Algebraic Reasoning and Completeness in Typed Languages. Jon G. Riecke, Ramesh Subrahmanyam |
| 1993 | An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. John C. Reynolds |
| 1993 | Array Data-Flow Analysis and its Use in Array Privatization. Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam |
| 1993 | Automatic Array Alignment in Data-Parallel Programs. Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng |
| 1993 | Automatic Generation and Management of Interprocedural Program Analyses. Kwangkeun Yi, Williams Ludwell Harrison III |
| 1993 | Call by Name, Assignment, and the Lambda Calculus. Martin Odersky, Dan Rabin, Paul Hudak |
| 1993 | Communicating Reactive Processes. Gérard Berry, S. Ramesh, R. K. Shyamasundar |
| 1993 | Complexity of Bidirectional Data Flow Analysis. Dhananjay M. Dhamdhere, Uday P. Khedker |
| 1993 | Compositional Analysis of Modular Logic Programs. Michael Codish, Saumya K. Debray, Roberto Giacobazzi |
| 1993 | Computer Architectures and Programming Models for Scalable Parallel Computing. Marc Snir |
| 1993 | Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993 Mary S. Van Deusen, Bernard Lang |
| 1993 | Constructing Call Multigraphs Using Dependence Graphs. Arun Lakhotia |
| 1993 | Differential Logic Programming. Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1993 | Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. Jong-Deok Choi, Michael G. Burke, Paul R. Carini |
| 1993 | Efficient Recursive Subtyping. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
| 1993 | Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. Ali-Reza Adl-Tabatabai, Thomas R. Gross |
| 1993 | Explicit Polymorphism and CPS Conversion. Robert Harper, Mark Lillibridge |
| 1993 | Extending Record Typing to Type Parametric Modules with Sharing. Maria-Virginia Aponte |
| 1993 | Formal Parametric Polymorphism. Martín Abadi, Luca Cardelli, Pierre-Louis Curien |
| 1993 | Graph Types. Nils Klarlund, Michael I. Schwartzbach |
| 1993 | Imperative Functional Programming. Simon L. Peyton Jones, Philip Wadler |
| 1993 | Incremental Program Testing Using Program Dependence Graphs. Samual Bates, Susan Horwitz |
| 1993 | Layer Sharing: An Improved Structure-Sharing Framework. Éric Villemonte de la Clergerie |
| 1993 | Object-Oriented Programming without Recursive Types. Benjamin C. Pierce, David N. Turner |
| 1993 | On the Orthogonality of Assignments and Procedures in Algol. Stephen Weeks, Matthias Felleisen |
| 1993 | Polymorphism by Name for References and Continuations. Xavier Leroy |
| 1993 | Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. Shinn-Der Lee, Daniel P. Friedman |
| 1993 | Relational Parametricity and Local Variables. Peter W. O'Hearn, Robert D. Tennent |
| 1993 | Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. Kim B. Bruce |
| 1993 | Semantics for Communication Primitives in an Polymorphic Language. Atsushi Ohori, Kazuhiko Kato |
| 1993 | Separating Stages in the Continuation-Passing Style Transformation. Julia L. Lawall, Olivier Danvy |
| 1993 | Smartest Recompilation. Zhong Shao, Andrew W. Appel |
| 1993 | Specifying the Correctness of Binding-Time Analysis. Mitchell Wand |
| 1993 | Static Single Assignment for Explicitely Parallel Programs. Harini Srinivasan, James Hook, Michael Wolfe |
| 1993 | Stratified Functional Programs and Computational Complexity. Daniel Leivant |
| 1993 | The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. Kim Marriott, Peter J. Stuckey |
| 1993 | Tutorial Notes on Partial Evaluation. Charles Consel, Olivier Danvy |
| 1993 | Type Checking Type Classes. Tobias Nipkow, Christian Prehofer |