International Conference on Functional Programming

Call for Papers
ICFP 2004

September 19-22, 2004
Snowbird, Utah

Important dates

Submission deadline  23:00  01 April, 2004 Apia, Samoan time (Thursday)
Author review period
23:00 17 May to 23:00 19 May, 2004, Apia, Samoan time
Author notification          
26 May, 2004
Final paper due 
07 July, 2004
19-22 September, 2004


ICFP 2004 seeks original papers on the full spectrum of the art, science, and practice of functional programming. The conference invites submissions on all topics ranging from principles to practice, from foundations to features, and from abstraction to application. The scope covers all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages that support objects and concurrency. Topics of interest include, but are not limited to, the following:

Formal semantics, lambda calculus, type theory, monads, continuations, control, state, effects.
Algorithms and data structures, modules and type systems, concurrency and distribution, components and composition, relations to object-oriented and logic programming, multiparadigm programming.
Abstract machines, compile-time and run-time optimization, just-in-time compilers, memory management. Interfaces to foreign functions, services, components and low-level machine resources.
Transformation and analysis
Abstract interpretation, partial evaluation, program transformation, theorem proving, specification and verification.
Software development techniques for functional programming
Design patterns, specification, verification and validation, debugging, test generation, tracing and profiling.
Applications and domain-specific languages
Systems programming, scientific and numerical computing, symbolic computing and artificial intelligence, systems programming, databases, graphical user interfaces, multimedia programming, application scripting, system administration, distributed-systems construction, web programming, XML and related languages.
Practice and experience
Functional programming in education and industry, ramifications on other paradigms and computing disciplines.
Functional pearls
Elegant, instructive examples of functional programming.
Papers in the latter three categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program!

Submission guidelines

Due date & time: Submissions must be filed at the web site by 23:00 Thursday,  01 April,  Apia, Samoa time. Some equivalents to this time are

For other time-zones/locations, see the worldclock.

Submission URL: (Available after March 1, 2004).

Authors should submit a 100-200 word abstract and a full paper by 23:00 Apia, Samoa Time on Thursday,  01 April, 2004. Submissions should be no more than 12 pages (including bibliography) in standard ACM conference format: two columns, nine-point font on a ten-point baseline, with pages 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). Detailed formatting guidelines are available at, along with formatting templates or style files for LaTeX, Word Perfect, and Word. You don't need to include categories, keywords, etc., though you are welcome to do so. Also, note that the ACM copyright notice is not required of submissions, only of accepted papers.

Authors wishing to supply additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices, on the understanding that reviewers are not required to read the appendices. Submissions that do not meet these guidelines will not be considered. The submission deadline and length limitations are firm.

Submissions will be carried out electronically via the Web, at the URL given above. Papers must be submitted in either PDF format  or as PostScript documents that are interpretable by Ghostscript.  They must be printable on US Letter sized paper. Individuals for which this requirement is a hardship should contact the program chair at least one week before the deadline.

Submitted papers must adhere to SIGPLAN's republication policy.  Each paper should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Authors should strive to make the technical content of their papers understandable to a broad audience.

Authors will be given a 48-hour period (23:00 17 May to 23:00 19 May 2004 Apia, Samoa time) to read and respond to the reviews for their papers before the PC meeting.   Authors of submitted papers will receive more details from the submission site.

Authors of accepted papers will be required to sign the ACM copyright form. Proceedings will be published by ACM Press.

Special Issue of the Journal of Functional Programming

The top submitted papers, as determined by the program committee, will be invited to submit journal versions for a special issue of the Journal of Functional Programming.

Student Attendees

Students who have a paper accepted for the conference are offered student membership of SIGPLAN free for one year. As members of SIGPLAN they may apply for travel fellowships from the PAC fund .

Conference Chair

Chris Okasaki
U.S. Military Academy, West Point

Program Chair

Kathleen Fisher 
AT&T Labs
Shannon Laboratory
189 Park Ave., E244
Florham Park, NJ, USA
kfisher at
Phone: +1 973 360.8675
Fax: +1 973 360.8077

Program Committee

This document can be obtained in the following formats:
Plain text