Special issue dedicated to ICFP 2014: Editorial
Journal article, 2016

The 19th ACM SIGPLAN International Conference on Functional Programming (ICFP) took place on September 1–3, 2014 in Gothenburg, Sweden. After the conference, the programme committee, chaired by Manuel Chakravarty, selected several outstanding papers and invited their authors to submit to this special issue of JFP. We acted as editors for these submissions. This issue includes the six accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers demonstrate both the quality and the breadth of the conference, with a strong emphasis on types and their applications, and ranging from compilation methods through contract verification to homotopy type theory.

Computer Science

Author

D. Dreyer

Max Planck Institute for Software Systems

Mary Sheeran

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Journal of Functional Programming

0956-7968 (ISSN) 1469-7653 (eISSN)

Vol. 26

Subject Categories

Computer and Information Science

DOI

10.1017/s0956796816000228

More information

Latest update

5/16/2023