| 1997 | Intensional Sets Using Explicit Substitutions. | Gilles Richard, Frdric Saubion, A. Tellez-Arenas |
| 1997 | Synthesis of Functions by Transformations and Constraints. | Cristbal Pareja-Flores, J. ngel Velzquez-Iturbide |
| 1997 | Inductive Synthesis of Recursive Functional Programs (Poster Abstract). | Bjarte M. stvold |
| 1997 | Catenable Double-Ended Queues. | Chris Okasaki |
| 1997 | BigTypes in ML. | Bruce J. McAdam |
| 1997 | A Practical Subtyping System For Erlang. | Simon Marlow, Philip Wadler |
| 1997 | on Global Dynamics of Optimal Graph Reduction. | Julia L. Lawall, Harry G. Mairson |
| 1997 | Monadic State: Axiomatization and Type Safety. | John Launchbury, Amr Sabry |
| 1997 | A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence. | Eero Lassila |
| 1997 | Modelling String Folding with G2L Grammars. | Natalio Krasnogor, Pablo E. Martnez Lpez, Pablo Mocciola, David A. Pelta |
| 1997 | Protien Folding meets Functional Programming. | Natalio Krasnogor, Pablo E. Martnez Lpez, Pablo Mocciola, David A. Pelta |
| 1997 | Compositional References for Stateful Functional Programming. | Koji Kagawa |
| 1997 | Tupling Calculation Eliminates Multiple Data Traversals. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano |
| 1997 | The Measured Cost of Copying Garbage Collection Mechanisms. | Michael W. Hicks, Jonathan T. Moore, Scott Nettles |
| 1997 | On the Complexity of Set-Based Analysis. | Nevin Heintze, David A. McAllester |
| 1997 | Systematic Realisation of Control Flow Analyses for CML. | Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson |
| 1997 | Statically Checkable Pattern Abstractions. | Manuel Fhndrich, John Boyland |
| 1997 | Functional Programming with Graphs. | Martin Erwig |
| 1997 | Functional Reactive Animation. | Conal Elliott, Paul Hudak |
| 1997 | Type Specialization for Imperative Languages. | Dirk Dussart, John Hughes, Peter Thiemann |
| 1997 | Functional Programming and Attribute Grammars Deforestation. | tienne Duris |
| 1997 | Implementing Bit-addressing with Specialization. | Scott Draves |
| 1997 | Affordable Dynamic Types. | Chris Dornan |
| 1997 | Strongly Typed Flow-Directed Representation Transformations. | Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells |
| 1997 | Foundations for the Implementation of Higher-Order Subtyping. | Karl Crary |