ICFP 1997

42 papers

1. A Bounds Inference Method for Vector-Based Memoisation · Wei-Ngan Chin, Masami Hagiya
2. A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence · Eero Lassila
3. A GUI on Top of a Functional Language · Kris Aerts, Karel De Vlaminck
4. A Modular, Polyvariant, and Type-Based Closure Analysis · Anindya Banerjee
5. A Practical Subtyping System For Erlang · Simon Marlow, Philip Wadler
6. Affordable Dynamic Types · Chris Dornan
7. Automatic Management of Operating System Resources · Olin Shivers
8. BigTypes in ML · Bruce J. McAdam
9. Catenable Double-Ended Queues · Chris Okasaki
10. Compositional References for Stateful Functional Programming · Koji Kagawa
11. Disposable Memo Functions (Extended Abstract) · Byron Cook, John Launchbury
12. Distributed Programming, a Purely Functional Approach · Eleni Spiliopoulou, Ian Holyer, Neil Davies
13. Flexible Representation Analysis · Zhong Shao
14. Formal Models of Distributed Memory Management · Cristian Ungureanu, Benjamin Goldberg
15. Foundations for the Implementation of Higher-Order Subtyping · Karl Crary
16. Functional Programming and Attribute Grammars Deforestation · Étienne Duris
17. Functional Programming with Graphs · Martin Erwig
18. Functional Reactive Animation · Conal Elliott, Paul Hudak
19. Graphs in Compilation · Koen Claessen
20. Implementing Bit-addressing with Specialization · Scott Draves
21. Inductive Synthesis of Recursive Functional Programs (Poster Abstract) · Bjarte M. Østvold
22. Intensional Sets Using Explicit Substitutions · Gilles Richard, Frédéric Saubion, A. Tellez-Arenas
23. Lambda-Flow: A Parallel Functional Synchronous Dataflow Language · Guilhem de Wailly
24. Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations · Matthias Blume, Andrew W. Appel
25. Modelling String Folding with G2L Grammars · Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta
26. Monadic State: Axiomatization and Type Safety · John Launchbury, Amr Sabry
27. Multi-Stage Programming · Walid Taha, Tim Sheard
28. On the Complexity of Set-Based Analysis · Nevin Heintze, David A. McAllester
29. Protien Folding meets Functional Programming · Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta
30. Simple Semantic Analysis Problems for Functional Programs · Viktor K. Sabelfeld, Andrei Sabelfeld
31. Statically Checkable Pattern Abstractions · Manuel Fähndrich, John Boyland
32. Strongly Typed Flow-Directed Representation Transformations · Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
33. Structuring Graphical Paradigms in TkGofer · Koen Claessen, Ton Vullinghs, Erik Meijer
34. Synthesis of Functions by Transformations and Constraints · Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide
35. Systematic Realisation of Control Flow Analyses for CML · Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson
36. The Development of Erlang · Joe L. Armstrong
37. The Effectiveness of Flow Analysis for Inlining · J. Michael Ashley
38. The Measured Cost of Copying Garbage Collection Mechanisms · Michael W. Hicks, Jonathan T. Moore, Scott Nettles
39. Tupling Calculation Eliminates Multiple Data Traversals · Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
40. Type Specialization for Imperative Languages · Dirk Dussart, John Hughes, Peter Thiemann
41. Type-Driven Defunctionalization · Jeffrey M. Bell, Françoise Bellegarde, James Hook
42. on Global Dynamics of Optimal Graph Reduction · Julia L. Lawall, Harry G. Mairson