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