| 1995 | Positive Subtyping. | Martin Hofmann, Benjamin C. Pierce |
| 1995 | Lower Bounds on Type Inference with Subtypes. | My Hoang, John C. Mitchell |
| 1995 | Compiling Polymorphism Using Intensional Type Analysis. | Robert Harper, J. Gregory Morrisett |
| 1995 | The Semantics of Future and Its Use in Program Optimizations. | Cormac Flanagan, Matthias Felleisen |
| 1995 | Parametric Program Slicing. | John Field, G. Ramalingam, Frank Tip |
| 1995 | Reasoning about Rings. | E. Allen Emerson, Kedar S. Namjoshi |
| 1995 | Demand-driven Computation of Interprocedural Data Flow. | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1995 | Generic Polymorphism. | Catherine Dubois, Franois Rouaix, Pierre Weis |
| 1995 | Unification Factoring for Efficient Execution of Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren |
| 1995 | Corrigendum: Decidable Bounded Quantification. | Giuseppe Castagna, Benjamin C. Pierce |
| 1995 | A Language with Distributed Scope. | Luca Cardelli |
| 1995 | Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. | Stephen D. Brookes, Denis Dancanet |
| 1995 | Verifying Infinite State Processes with Sequential and Parallel Composition. | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
| 1995 | Structured Operational Semantics as a Specification Language. | Bard Bloom |
| 1995 | Higher-Order Functors with Transparent Signatures. | Sandip K. Biswas |
| 1995 | A Formal Model of Procedure Calling Conventions. | Mark W. Bailey, Jack W. Davidson |
| 1995 | The Call-by-Need Lambda Calculus. | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
| 1995 | An Extended Form of Must Alias Analysis for Dynamic Allocation. | Rita Z. Altucher, William Landi |
| 1994 | Value Dependence Graphs: Representation without Taxation. | Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard |
| 1994 | Selective and Lightweight Closure Conversion. | Mitchell Wand, Paul Steckler |
| 1994 | Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. | Mads Tofte, Jean-Pierre Talpin |
| 1994 | Automated Synthesis of Interface Adapters for Reusable Classes. | Satish Thatt |
| 1994 | Building Interpreters by Composing Monads. | Guy L. Steele Jr. |
| 1994 | Correctness of Trap-Based Breakpoint Implementations. | Norman Ramsey |
| 1994 | An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. | G. Ramalingam, Thomas W. Reps |