| 1996 | A Complete Transformational Toolkit for Compilers. Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
| 1996 | A Multiple-Valued Logical Semantics for Prolog. Roberto Barbuti, Paolo Mancarella |
| 1996 | A New Approach to Compiling Adaptive Programs. Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr |
| 1996 | A Rewriting Logic for Declarative Programming. Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
| 1996 | Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. Ketil Stølen |
| 1996 | Checking System Properties via Integer Programming. Stephan Melzer, Javier Esparza |
| 1996 | Compiling Haskell by Program Transformation: A Report from the Trenches. Simon L. Peyton Jones |
| 1996 | Compositional Optimization of Disjunctive Abstract Interpretations. Roberto Giacobazzi, Francesco Ranzato |
| 1996 | Compositional Semantics of Non-Deterministic Synchronous Languages. Florence Maraninchi, Nicolas Halbwachs |
| 1996 | Durations for Truly-Concurrent Transitions. Eric Goubault |
| 1996 | Efficient Minimization up to Location Equivalence. Ugo Montanari, Marco Pistore, Daniel Yankelevich |
| 1996 | Flow Analysis in the Geometry of Interaction. Thomas P. Jensen, Ian Mackie |
| 1996 | Global Analysis of Standard Prolog Programs. Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla |
| 1996 | Integer Constraints to Stop Deforestation. Helmut Seidl |
| 1996 | Linear Time Hierarchies for a Functional Language Machine Model. Eva Rose |
| 1996 | Mode and Termination Checking for Higher-Order Logic Programs. Ekkehard Rohwedder, Frank Pfenning |
| 1996 | Modular Denotational Semantics for Compiler Construction. Sheng Liang, Paul Hudak |
| 1996 | Narrowing-Driven Partial Evaluation of Functional Logic Programs. María Alpuente, Moreno Falaschi, Germán Vidal |
| 1996 | Parametricity and Unboxing with Unpointed Types. John Launchbury, Ross Paterson |
| 1996 | Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings Hanne Riis Nielson |
| 1996 | Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. Denis Béchet |
| 1996 | Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. Steffen van Bakel, Franco Barbanera, Maribel Fernández |
| 1996 | Some Practical Problems and Their Influence on Semantics. Cliff B. Jones |
| 1996 | Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. Pascal Fradet, Ronan Caugne, Daniel Le Métayer |
| 1996 | Towards an Expressive Language for PDE Solvers. Michael Thuné, Krister Åhlander |
| 1996 | Towards an ML-Style Polymorphic Type System for C. Geoffrey Smith, Dennis M. Volpano |