Export Citations
- Sponsor:
- sigplan
It is my great pleasure to welcome you to the 15th ACM SIGPLAN International Conference on Functional Programming -- ICFP'10. This conference features 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 or concurrency.
This year, the Call for Papers attracted 99 submissions, comprised of 92 full submissions and 7 experience reports. From these, the Program Committee selected 30 full papers and 3 experience reports. Full papers were evaluated according to their relevance, correctness, significance, originality, and clarity. Full papers include a special form of research paper, called Functional Pearls, which are not required to report original research, but must be concise, instructive, and entertaining. They are strictly limited to twelve pages. ICFP also includes experience reports. These reports provide evidence that functional programming really works or describe obstacles that have kept it from working. Experience reports are labeled in their titles and are limited to six pages.
Each submission was reviewed by at least three Program Committee members. PC members were encouraged to solicit external reviews, but were required to read the papers themselves and form their own opinions. Reviews included comments from 125 external reviewers, and were made available to the authors for response before the PC meeting. Papers were selected during a physical meeting on June 3-4, 2010, held at Microsoft Research Cambridge. All PC members attended the meeting. In addition to selecting the program, the PC also chose to invite talks by Mike Gordon, Matthias Felleisen and Guy Blelloch. There were three submissions by PC members, two of which were accepted. These submissions were discussed after all other decisions had been made and were evaluated at a higher standard.
Cited By
- Gammie P, Hosking A and Engelhardt K (2015). Relaxing safely: verified on-the-fly garbage collection for x86-TSO, ACM SIGPLAN Notices, 50:6, (99-109), Online publication date: 7-Aug-2015.
- Gammie P, Hosking A and Engelhardt K Relaxing safely: verified on-the-fly garbage collection for x86-TSO Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, (99-109)
- Proceedings of the 15th ACM SIGPLAN international conference on Functional programming