ICFP 2013 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, and from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects, concurrency,
or parallelism. Topics of interest include (but are not limited to):

* By Thursday, 28 March 2013, 23:59 UTC-11 (American Samoa time),
submit a full paper of at most 12 pages (6 pages for an Experience
Report), including bibliography and figures.

The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.

* Authors have the option to attach supplementary material to a submission,
on the understanding that reviewers may choose not to look at it.

* Each submission must adhere to SIGPLAN's republication policy, as
explained on the web at
<a href="http://www.sigplan.org/Resources/Policies/Republication" target="_blank">http://www.sigplan.org/Resources/Policies/Republication</a>

* Authors of resubmitted (but previously rejected) papers have the
option to attach an annotated copy of the reviews of their previous
submission(s), explaining how they have addressed these previous
reviews in the present submission. If a reviewer identifies
him/herself as a reviewer of this previous submission and wishes to
see how his/her comments have been addressed, the program chair will
communicate to this reviewer the annotated copy of his/her previous
review. Otherwise, no reviewer will read the annotated copies of
the previous reviews.

Overall, a submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It 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. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are on the
conference web site.

Proceedings will be published by ACM Press. Authors of accepted
submissions are expected to transfer the copyright to the
ACM. Presentations will be videotaped and released online if the
presenter consents.

Formatting: Submissions must be in PDF format printable in black and
white on US Letter sized paper and interpretable by
Ghostscript. Papers must adhere to the standard ACM conference format:
two columns, nine-point font on a ten-point baseline, with columns
20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). A suitable document template for LaTeX is available:
<a href="http://www.acm.org/sigs/sigplan/authorInformation.htm" target="_blank">http://www.acm.org/sigs/sigplan/authorInformation.htm</a>

Submission: Submissions will be accepted on the web at
<a href="https://www.easychair.org/conferences/?conf=icfp2013" target="_blank">https://www.easychair.org/conferences/?conf=icfp2013</a> . Improved
versions of a paper may be submitted at any point before the
submission deadline using the same web interface.

Author response: Authors will have a 72-hour period, starting at 0:00
UTC-11 on Wednesday, 22 May 2013, to read reviews and respond to them.

Special Journal Issue: There will be a special issue of the Journal of
Functional Programming with papers from ICFP 2013. The program
committee will invite the authors of select accepted papers to submit
a journal version to this issue.

General Chair:
Greg Morrisett, Harvard University

Program Chair:
Tarmo Uustalu, Institute of Cybernetics, Tallinn

Program Committee:
Thorsten Altenkirch, University of Nottingham
Olaf Chitil, University of Kent
Silvia Ghilezan, University of Novi Sad
Michael Hanus, Christian-Albrechts-Universitšt zu Kiel
Fritz Henglein, University of Copenhagen