| 1995 | A Formal Model of Procedure Calling Conventions. Mark W. Bailey, Jack W. Davidson |
| 1995 | A Language with Distributed Scope. Luca Cardelli |
| 1995 | A Linear Time Algorithm for Placing phi-nodes. Vugranam C. Sreedhar, Guang R. Gao |
| 1995 | A Type System Equivalent to Flow Analysis. Jens Palsberg, Patrick O'Keefe |
| 1995 | A Unified Treatment of Flow Analysis in Higher-Order Languages. Suresh Jagannathan, Stephen Weeks |
| 1995 | An Extended Form of Must Alias Analysis for Dynamic Allocation. Rita Z. Altucher, William Landi |
| 1995 | Applicative Functors and Fully Transparent Higher-Order Modules. Xavier Leroy |
| 1995 | Compiling Polymorphism Using Intensional Type Analysis. Robert Harper, J. Gregory Morrisett |
| 1995 | Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995 Ron K. Cytron, Peter Lee |
| 1995 | Corrigendum: Decidable Bounded Quantification. Giuseppe Castagna, Benjamin C. Pierce |
| 1995 | Default Timed Concurrent Constraint Programming. Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
| 1995 | Demand-driven Computation of Interprocedural Data Flow. Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1995 | Generic Polymorphism. Catherine Dubois, François Rouaix, Pierre Weis |
| 1995 | Higher-Order Functors with Transparent Signatures. Sandip K. Biswas |
| 1995 | Isolating Side Effects in Sequential Languages. Jon G. Riecke, Ramesh Viswanathan |
| 1995 | Lower Bounds on Type Inference with Subtypes. My Hoang, John C. Mitchell |
| 1995 | Monad Transformers and Modular Interpreters. Sheng Liang, Paul Hudak, Mark P. Jones |
| 1995 | Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages. John Plevyak, Xingbin Zhang, Andrew A. Chien |
| 1995 | Optimizing an ANSI C Interpreter with Superoperators. Todd A. Proebsting |
| 1995 | Parametric Program Slicing. John Field, G. Ramalingam, Frank Tip |
| 1995 | Positive Subtyping. Martin Hofmann, Benjamin C. Pierce |
| 1995 | Precise Interprocedural Dataflow Analysis via Graph Reachability. Thomas W. Reps, Susan Horwitz, Shmuel Sagiv |
| 1995 | Reasoning about Rings. E. Allen Emerson, Kedar S. Namjoshi |
| 1995 | Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads. Klaus E. Schauser, David E. Culler, Seth Copen Goldstein |
| 1995 | Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. Stephen D. Brookes, Denis Dancanet |
| 1995 | Structural Decidable Extensions of Bounded Quantification. Sergei G. Vorobyov |
| 1995 | Structured Operational Semantics as a Specification Language. Bard Bloom |
| 1995 | Structuring Depth-First Search Algorithms in Haskell. David J. King, John Launchbury |
| 1995 | The Call-by-Need Lambda Calculus. Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
| 1995 | The Geometry of Interaction Machine. Ian Mackie |
| 1995 | The Semantics of Future and Its Use in Program Optimizations. Cormac Flanagan, Matthias Felleisen |
| 1995 | Time and Space Profiling for Non-Strict Higher-Order Functional Languages. Patrick M. Sansom, Simon L. Peyton Jones |
| 1995 | Total Correctness by Local Improvement in Program Transformation. David Sands |
| 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 | Using Functor Categories to Generate Intermediate Code. John C. Reynolds |
| 1995 | Verifying Infinite State Processes with Sequential and Parallel Composition. Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |