default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st ICFP 1996: Philadelphia, Pennsylvania
- Robert Harper, Richard L. Wexelblat:
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996. ACM 1996, ISBN 0-89791-770-7
Session 1
- Simon L. Peyton Jones, Will Partain, André L. M. Santos
:
Let-floating: Moving Bindings to Give Faster Programs. 1-12 - Amr Sabry, Philip Wadler:
A Reflection on Call-by-Value. 13-24 - Thérèse Hardin, Luc Maranget, Bruno Pagano:
Functional Back-Ends within the Lambda-Sigma Calculus. 25-33
Session 2
- Niklas Röjemo, Colin Runciman:
Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. 34-41 - David S. Wise, Joshua Walgenbach:
Static and Dynamic Partitioning of Pointers as Links and Threads. 42-49 - Manuel Serrano, Marc Feeley:
Storage Use Analysis and its Applications. 50-61
Session 3
- Chris Okasaki:
The Role of Lazy Evaluation in Amortized Data Structures. 62-72 - Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Deriving Structural Hylomorphisms From Recursive Definitions. 73-82
Session 4
- Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy:
Analysis and Caching of Dependencies. 83-91 - Julia L. Lawall, Harry G. Mairson:
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? 92-101 - Brian T. Howard:
Inductive, Coinductive, and Pointed Types. 102-109
Session 5
- Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez:
A New Look to Pattern Matching in Abstract Data Types. 110-121 - François Pottier:
Simplifying Subtyping Constraints. 122-133 - Giorgio Ghelli:
Complexity of Kernel Fun Subtype Checking. 134-145
Session 6
- Luc Moreau:
The Semantics of Scheme with Future. 146-156 - Franklyn A. Turbak:
First-Class Synchronization Barriers. 157-168 - Cormac Flanagan, Rishiyur S. Nikhil:
pHluid: The Design of a Parallel Functional Language Implementation on Workstations. 169-179
Session 7
- Peter Thiemann:
Cogen in Six Lines. 180-189 - Tyng-Ruey Chuang, Wen-Liang Hwang:
A Probabilistic Approach to the Problem of Automatic Selection of Data Representations. 190-200
Session 8
- William Ferreira, Matthew Hennessy, Alan Jeffrey:
A Theory of Weak Bisimulation for Core CML. 201-212 - Guy E. Blelloch, John Greiner:
A Provable Time and Space Efficient Implementation of NESL. 213-225 - Paul Caspi, Marc Pouzet:
Synchronous Kahn Networks. 226-238
Session 9
- Shinn-Der Lee, Daniel P. Friedman:
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. 239-250 - Christian Queinnec, David De Roure:
Sharing Code through First-class Environments. 251-261 - Dominic Duggan, Constantinos Sourelis:
Mixin Modules. 262-273
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-07 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
