2. ICFP 1997: Amsterdam, The Netherlands
Simon L. Peyton Jones, Mads Tofte, A. Michael Berman (Eds.): Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997. ACM 1997 ISBN 0-89791-918-1, (SIGPLAN Notices 32(8), August 1997)
Session 1
- Anindya Banerjee: A Modular, Polyvariant, and Type-Based Closure Analysis. 1-10
- Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells: Strongly Typed Flow-Directed Representation Transformations. 11-24
- Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson: Systematic Realisation of Control Flow Analyses for CML. 38-51
Session 2
- Martin Erwig: Functional Programming with Graphs. 52-65
- Chris Okasaki: Catenable Double-Ended Queues. 66-74
Session 3
- Zhong Shao: Flexible Representation Analysis. 85-98
- J. Michael Ashley: The Effectiveness of Flow Analysis for Inlining. 99-111
- Matthias Blume, Andrew W. Appel: Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. 112-124
Session 4
- Karl Crary: Foundations for the Implementation of Higher-Order Subtyping. 125-135
Session 5
- Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano: Tupling Calculation Eliminates Multiple Data Traversals. 164-175
Invited Talk
- Joe L. Armstrong: The Development of Erlang. 196-203
Session 6
- Koji Kagawa: Compositional References for Stateful Functional Programming. 217-226
Session 7
- Scott Draves: Implementing Bit-addressing with Specialization. 239-250
Session 8
- Olin Shivers: Automatic Management of Operating System Resources. 274-279
- Michael W. Hicks, Jonathan T. Moore, Scott Nettles: The Measured Cost of Copying Garbage Collection Mechanisms. 292-305
Posters
- Koen Claessen: Graphs in Compilation. 309
- Chris Dornan: Affordable Dynamic Types. 311
- Étienne Duris: Functional Programming and Attribute Grammars Deforestation. 312
- Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta: Protien Folding meets Functional Programming. 313
- Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta: Modelling String Folding with G2L Grammars. 314
- Eero Lassila: A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence. 315
- Bruce J. McAdam: BigTypes in ML. 316
- Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide: Synthesis of Functions by Transformations and Constraints. 317
- Gilles Richard, Frédéric Saubion, A. Tellez-Arenas: Intensional Sets Using Explicit Substitutions. 318
- Viktor K. Sabelfeld, Andrei Sabelfeld: Simple Semantic Analysis Problems for Functional Programs. 319
- Eleni Spiliopoulou, Ian Holyer, Neil Davies: Distributed Programming, a Purely Functional Approach. 320
- Guilhem de Wailly: Lambda-Flow: A Parallel Functional Synchronous Dataflow Language. 322
- Bjarte M. Østvold: Inductive Synthesis of Recursive Functional Programs (Poster Abstract). 323
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team