The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. It is a venue for researchers to present and discuss new ideas and concepts, works in progress, and publication-ripe results.
Following the IFL tradition, there is a post-symposium review process to produce formal proceedings which will be published by the ACM in the International Conference Proceedings Series. All participants in IFL 2014 were invited to submit either a draft paper or an extended abstract describing work to the presented at the symposium. The submissions were screened by the program committee chair to make sure they are within the scope of IFL. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors have the opportunity to incorporate the feedback from discussions at the symposium into their paper and may submit a revised full article for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards.
The IFI 2014 program consists of 31 presentations and one invited talk. The Contributions in this volume are ordered accordingly to the intended schedule of presentation. In order to make IFL 2014 as accessible as possible, we have not insisted on any particular style or length for the submissions. Such rules only apply to the version submitted for post-symposium reviewing.
As is usual for IFL, the program last three days with a social event and an invited talk. The invited talk will be given by Niko Matsakis of Mozilla Research, who will discuss the role of ownership in the type system of Rust, a programming language designed for low-level systems programming in a memory-safe fashion. The social event takes place on October 2 and consists of two parts: a trip through the city and harbor of Boston on a duck boat, and, in the evening, a banquet dinner in downtown Copley Square.
We are grateful to many people for their help in preparation for IFL 2014. Most significantly, Asumu Takikawa of Northeastern University served as local Arrangements chair, and without his efforts this event would not have been possible.
Additionally, the staff of the College of Computer and Information Science, particularly Nicole Bekerian and Doreen Hodgkin, helped make IFL a success. Our student volunteers also play an important role in the smooth running of the event.
Special thanks are due to Rinus Plasrneijer, last year's chair and the head of the IFL steering committee, for advice and experience that improved IFL 2014.