| 1993 | Polymorphism by Name for References and Continuations. | Xavier Leroy |
| 1993 | Stratified Functional Programs and Computational Complexity. | Daniel Leivant |
| 1993 | Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. | Shinn-Der Lee, Daniel P. Friedman |
| 1993 | Separating Stages in the Continuation-Passing Style Transformation. | Julia L. Lawall, Olivier Danvy |
| 1993 | A Natural Semantics for Lazy Evaluation. | John Launchbury |
| 1993 | Constructing Call Multigraphs Using Dependence Graphs. | Arun Lakhotia |
| 1993 | Efficient Recursive Subtyping. | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
| 1993 | Graph Types. | Nils Klarlund, Michael I. Schwartzbach |
| 1993 | Imperative Functional Programming. | Simon L. Peyton Jones, Philip Wadler |
| 1993 | Explicit Polymorphism and CPS Conversion. | Robert Harper, Mark Lillibridge |
| 1993 | A Sort Inference Algorithm for the Polyadic Pi-Calculus. | Simon J. Gay |
| 1993 | A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. | Damien Doligez, Xavier Leroy |
| 1993 | Complexity of Bidirectional Data Flow Analysis. | Dhananjay M. Dhamdhere, Uday P. Khedker |
| 1993 | Tutorial Notes on Partial Evaluation. | Charles Consel, Olivier Danvy |
| 1993 | Compositional Analysis of Modular Logic Programs. | Michael Codish, Saumya K. Debray, Roberto Giacobazzi |
| 1993 | Layer Sharing: An Improved Structure-Sharing Framework. | ric Villemonte de la Clergerie |
| 1993 | Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. | Jong-Deok Choi, Michael G. Burke, Paul R. Carini |
| 1993 | Automatic Array Alignment in Data-Parallel Programs. | Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng |
| 1993 | Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. | Kim B. Bruce |
| 1993 | Differential Logic Programming. | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1993 | Communicating Reactive Processes. | Grard Berry, S. Ramesh, R. K. Shyamasundar |
| 1993 | Incremental Program Testing Using Program Dependence Graphs. | Samual Bates, Susan Horwitz |
| 1993 | Extending Record Typing to Type Parametric Modules with Sharing. | Maria-Virginia Aponte |
| 1993 | Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. | Ali-Reza Adl-Tabatabai, Thomas R. Gross |
| 1993 | Formal Parametric Polymorphism. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien |