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
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3
export record as
dblp key:
Zhong Shao :
Flexible Representation Analysis.
85-98
export record as
dblp key:
export record as
dblp key:
Session 4
export record as
dblp key:
Karl Crary :
Foundations for the Implementation of Higher-Order Subtyping.
125-135
export record as
dblp key:
export record as
dblp key:
Session 5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Talk
export record as
dblp key:
Session 6
export record as
dblp key:
export record as
dblp key:
Koji Kagawa :
Compositional References for Stateful Functional Programming.
217-226
export record as
dblp key:
Session 7
export record as
dblp key:
Scott Draves :
Implementing Bit-addressing with Specialization.
239-250
export record as
dblp key:
export record as
dblp key:
Session 8
export record as
dblp key:
Olin Shivers :
Automatic Management of Operating System Resources.
274-279
export record as
dblp key:
export record as
dblp key:
Posters
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Étienne Duris :
Functional Programming and Attribute Grammars Deforestation.
312
export record as
dblp key:
export record as
dblp key:
conf/icfp/KrasnogorLMP97a
export record as
dblp key:
Eero Lassila :
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence.
315
export record as
dblp key:
export record as
dblp key:
conf/icfp/Pareja-FloresV97
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icfp/SpiliopoulouHD97
export record as
dblp key:
export record as
dblp key:
Guilhem de Wailly :
Lambda-Flow: A Parallel Functional Synchronous Dataflow Language.
322
export record as
dblp key:
Bjarte M. Østvold :
Inductive Synthesis of Recursive Functional Programs (Poster Abstract).
323