Preliminary Call for Papers The 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP '98) September 27-30, 1998 Baltimore, Maryland, USA URL: http://www.cs.rice.edu/~matthias/ICFP98 The third International Conference on Functional Programming provides a forum for researchers, developers, teachers, as well as users who love programming with functions. The conference combines the Lisp and Functional Programming (LFP) conference and the Functional Programming and Computer Architecture (FPCA) conference, and is sponsored by ACM SIGPLAN. ICFP '98 seeks original papers on the full spectrum of functional programming: from principles to practice, from experiments to design, and from theory to application. Among the topics of interest to ICFP '98 are: Theory Design and Implementation ------ ------------------------- formal semantics novel languages or features lambda calculus modules and type systems monads/continuations abstract machines state/effects/control compiler optimizations type theory run-time/memory management Systems/Applications Transformation/Analysis ------------ ----------------------- parallel/distributed computing abstract interpretation systems programming partial evaluation multimedia programming specific analyses symbolic/scientific computing transformation techniques using FP in education/industry specification/verification Submitted papers must describe new ideas or experimental results that have not previously been published in refereed venues; simultaneous submissions to other conferences is unacceptable. Papers will be judged on relevance, originality, significance, correctness, and clarity. Each paper should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, saying why it is significant, and comparing it with previous work. Authors should make every effort to make the technical content of their papers understandable to a broad audience. Prospective authors should submit a 100-200 word ASCII abstract and a 5000 word postscript summary (A4 or US letter size) by 12:00 UTC April 15, 1998. Papers exceeding these limits will be rejected or arbitrarily truncated. Late submissions will not be considered. There is a preferred LaTeX style (URL: http://TBA). By default, submission is computer-driven. Permission to submit a paper using an alternative method must be obtained from Paul Hudak. Submission is only complete when the electronic version of the paper has been successfully received and printed. Authors are kindly requested to study the details of the submission procedure at least two weeks before the deadline (URL: http://TBA). Authors will be notified of acceptance or rejection by June 21. Final version of the accepted papers must be received in camera-ready form by July 14, for inclusion in the proceedings. Authors of accepted papers will be expected to sign an ACM copyright release form. Proceedings will be published by ACM Press. General Chair: Matthias Felleisen, Rice University, . Program Chairmen: Paul Hudak, Yale University, Christian Queinnec, Universite Paris 6 & INRIA-Rocquencourt, Program Committee: Giuseppe Attardi, Universita di Pisa Daniel P Friedman, Indiana University Andrew D Gordon, Cambridge University Robert Harper, Carnegie-Mellon University Paul Hudak, Yale University Takayasu Ito, Tohoku University, Sendai Julia Lawall, Oberlin College Hanne Riis Nielson, Aarhus University Erik Meijer, Utrecht University Christian Queinnec, Universite Paris 6 & INRIA-Rocquencourt Benjamin Zorn, University of Colorado, Boulder