| 1996 | A New Look to Pattern Matching in Abstract Data Types. Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez |
| 1996 | A Probabilistic Approach to the Problem of Automatic Selection of Data Representations. Tyng-Ruey Chuang, Wen-Liang Hwang |
| 1996 | A Provable Time and Space Efficient Implementation of NESL. Guy E. Blelloch, John Greiner |
| 1996 | A Reflection on Call-by-Value. Amr Sabry, Philip Wadler |
| 1996 | A Theory of Weak Bisimulation for Core CML. William Ferreira, Matthew Hennessy, Alan Jeffrey |
| 1996 | Analysis and Caching of Dependencies. Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy |
| 1996 | Cogen in Six Lines. Peter Thiemann |
| 1996 | Complexity of Kernel Fun Subtype Checking. Giorgio Ghelli |
| 1996 | Deriving Structural Hylomorphisms From Recursive Definitions. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 1996 | Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. Shinn-Der Lee, Daniel P. Friedman |
| 1996 | First-Class Synchronization Barriers. Franklyn A. Turbak |
| 1996 | Functional Back-Ends within the Lambda-Sigma Calculus. Thérèse Hardin, Luc Maranget, Bruno Pagano |
| 1996 | Inductive, Coinductive, and Pointed Types. Brian T. Howard |
| 1996 | Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. Niklas Röjemo, Colin Runciman |
| 1996 | Let-floating: Moving Bindings to Give Faster Programs. Simon L. Peyton Jones, Will Partain, André L. M. Santos |
| 1996 | Mixin Modules. Dominic Duggan, Constantinos Sourelis |
| 1996 | Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? Julia L. Lawall, Harry G. Mairson |
| 1996 | Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996. Robert Harper, Richard L. Wexelblat |
| 1996 | Sharing Code through First-class Environments. Christian Queinnec, David De Roure |
| 1996 | Simplifying Subtyping Constraints. François Pottier |
| 1996 | Static and Dynamic Partitioning of Pointers as Links and Threads. David S. Wise, Joshua Walgenbach |
| 1996 | Storage Use Analysis and its Applications. Manuel Serrano, Marc Feeley |
| 1996 | Synchronous Kahn Networks. Paul Caspi, Marc Pouzet |
| 1996 | The Role of Lazy Evaluation in Amortized Data Structures. Chris Okasaki |
| 1996 | The Semantics of Scheme with Future. Luc Moreau |
| 1996 | pHluid: The Design of a Parallel Functional Language Implementation on Workstations. Cormac Flanagan, Rishiyur S. Nikhil |