1. ICFP 1996: Philadelphia, Pennsylvania

Session 1

• Simon L. Peyton Jones, Will Partain, André Santos: Let-floating: Moving Bindings to Give Faster Programs. 1-12 BibTeX
• Amr Sabry, Philip Wadler: A Reflection on Call-by-Value. 13-24 BibTeX
• Thérèse Hardin, Luc Maranget, Bruno Pagano: Functional Back-Ends within the Lambda-Sigma Calculus. 25-33 BibTeX

Session 2

• Niklas Röjemo, Colin Runciman: Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. 34-41 BibTeX
• David S. Wise, Joshua Walgenbach: Static and Dynamic Partitioning of Pointers as Links and Threads. 42-49 BibTeX
• Manuel Serrano, Marc Feeley: Storage Use Analysis and its Applications. 50-61 BibTeX

Session 3

• Chris Okasaki: The Role of Lazy Evaluation in Amortized Data Structures. 62-72 BibTeX
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Deriving Structural Hylomorphisms From Recursive Definitions. 73-82 BibTeX

Session 4

• Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy: Analysis and Caching of Dependencies. 83-91 BibTeX
• Julia L. Lawall, Harry G. Mairson: Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? 92-101 BibTeX
• Brian T. Howard: Inductive, Coinductive, and Pointed Types. 102-109 BibTeX

Session 5

• Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez: A New Look to Pattern Matching in Abstract Data Types. 110-121 BibTeX
• François Pottier: Simplifying Subtyping Constraints. 122-133 BibTeX
• Giorgio Ghelli: Complexity of Kernel Fun Subtype Checking. 134-145 BibTeX

Session 6

• Luc Moreau: The Semantics of Scheme with Future. 146-156 BibTeX
• Franklyn A. Turbak: First-Class Synchronization Barriers. 157-168 BibTeX
• Cormac Flanagan, Rishiyur S. Nikhil: pHluid: The Design of a Parallel Functional Language Implementation on Workstations. 169-179 BibTeX

Session 7

• Peter Thiemann: Cogen in Six Lines. 180-189 BibTeX
• Tyng-Ruey Chuang, Wen L. Hwang: A Probabilistic Approach to the Problem of Automatic Selection of Data Representations. 190-200 BibTeX

Session 8

• William Ferreira, Matthew Hennessy, Alan Jeffrey: A Theory of Weak Bisimulation for Core CML. 201-212 BibTeX
• Guy E. Blelloch, John Greiner: A Provable Time and Space Efficient Implementation of NESL. 213-225 BibTeX
• Paul Caspi, Marc Pouzet: Synchronous Kahn Networks. 226-238 BibTeX

Session 9

• Shinn-Der Lee, Daniel P. Friedman: Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. 239-250 BibTeX
• Christian Queinnec, David De Roure: Sharing Code through First-class Environments. 251-261 BibTeX
• Dominic Duggan, Constantinos Sourelis: Mixin Modules. 262-273 BibTeX