[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
CFP - International Conference on Functional Programming
The 3rd ACM SIGPLAN
International Conference on Functional Programming
September 27-30, 1998
Baltimore, Maryland, USA
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
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
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
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 (see the web site).
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 (see the web site).
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.
Matthias Felleisen, Rice University, <firstname.lastname@example.org>.
Paul Hudak, Yale University, <email@example.com>
Christian Queinnec, Universite Paris 6 & INRIA-Rocquencourt,
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