Call for Papers

ICFP 2008: International Conference on Functional Programming
Victoria, BC, Canada, 22–24 September 2008
Conference ChairJames Hook
Portland State University
Program ChairPeter Thiemann
Albert-Ludwigs-UniversitätGeorges-Köhler-Allee 079
79110 Freiburg, Germany
Email: icfp08@informatik.uni-freiburg.de
Phone: +49 761 203 8051
Fax: +49 761 203 8052
Program Committee
Derek Dreyer
Max Planck Institute for Software Systems
Robert Ennals
Intel Research
Kathleen Fisher
AT&T Research
Zhenjiang Hu
National Institute of Informatics
Frank Huch
University of Kiel
Andrew Kennedy
Microsoft ResearchKevin Millikin
GoogleHenrik Nilsson
University of Nottingham
Chris Okasaki
United States Military Academy
Brigitte Pientka
McGill University
Rinus Plasmeijer
University of Nijmegen
Alan Schmitt
INRIA
Chung-chieh ShanRutgers
Mitchell Wand
Northeastern University
Stephen Weeks
Jane Street Capital
Important Dates (at 09:00 Apia time, UTC−11)
Submission:
2 April 2008
Author response:
21 May 2008
Notification:
16 June 2008
Final papers due:
9 July 2008
ICFP 2008 Web Site
http://www.icfpconference.org/icfp2008/

Special Journal Issue
There will be a special journal issue with papers
from ICFP 2008. The program committee willinvite the authors of select accepted papers tosubmit a journal version to this issue.

ICFP 2008 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, 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
and concurrency. Particular topics of interest include• Applications and Domain-Specific Languages: systems programming; scientific and numerical computing; symbolic computing; artificial intelligence; databases; graphicaluser interfaces; multimedia programming; scripting; system administration; distributedsystems and web programming; XML processing; security• Foundations: formal semantics; lambda calculus; type theory; monads; continuations;control; state; effects• Design: algorithms and data structures; modules; type systems; concurrency and distribution; components and composition; relations to object-oriented or logic programming• Implementation: abstract machines; compile-time and run-time optimization; just-in-timecompilers; memory management; parallel hardware; interfaces to foreign functions, services, components or low-level machine resources• Transformation and Analysis: abstract interpretation; partial evaluation; program transformation• Software-development Techniques: design patterns; specification; verification; validation;
debugging; test generation; tracing; profiling• Functional Pearls: elegant, instructive, and fun essays on functional programming• Practice and Experience: novel results drawn from experience in education or industry.
Experience Reports are also solicited, which are short papers (4 pages max) that provide evidence
that functional programming really works or describe obstacles that have kept it from working ina particular application.
Functional Pearls and Experience Reports are separate categories of papers that need not reportoriginal research results and must be marked as such at the time of submission. Detailed guidelines on both categories are on the conference web site.
Abbreviated instructions for authors
By Wednesday, 2 April 2008, 09:00 AM Apia time, submit an abstract of at most 300 words
and a full paper of at most 12 pages (4 pages for an Experience Report), including bibliography
and figures. The deadline will be strictly enforced and papers exceeding the page limits will besummarily rejected. Authors have the option to attach supplementary material to a submission,on the understanding that reviewers are not expected to read it.
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, clearlyidentifying what has been accomplished, explaining why it is significant, and comparing it withprevious work. The technical content should be accessible to a broad audience.
Each submission must adhere to SIGPLAN’s republication policy, as explained on the web at
http://www.acm.org/sigplan/republicationpolicy.htm.
Proceedings will be published by ACM Press. Authors of accepted submissions are expected
to transfer the copyright to ACM. They may have the option to have their presentation videotaped and published along with the conference proceedings in the ACM Digital Library. Video
recordings will only be released at the consent of the presenter, which is expressed by signing an
additional copyright release/permission form.
Formatting: Submissions must be in PDF format printable in black and white on US Letter
sized paper and interpretable by Ghostscript. If this requirement is a hardship, make contact withthe program chair at least one week before the deadline.
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 gutterof 2pc (0.33in). A suitable document template for LATEX is available from SIGPLAN at http://www.acm.org/sigs/sigplan/authorInformation.htm.
Submission: Electronically at https://www.softconf.com/s08/icfp08/submit.html.
Author response: You will have a 48-hour period, starting at 09:00 on 21 May 2008 Apia time,
to read and respond to reviews.