Aarhus University Seal / Aarhus Universitets segl

The impact of higher-order state and control effects on local relational reasoning

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  • Derek Dreyer, MPI-SWS, Saarbruecken
  • ,
  • georg Neis, MPI-SWS, Saarbruecken
  • ,
  • Lars Birkedal
The 15th ACM SIGPLAN International Conference on Functional Programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, selected several outstanding papers and invited their authors to submit to this special issue of Journal of Functional Programming. Umut A. Acar and James Cheney acted as editors for these submissions. This issue includes the seven accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems, and data compression.
Original languageEnglish
JournalJournal of Functional Programming
Issue4-5 special issue
Pages (from-to)477-528
Number of pages52
Publication statusPublished - 2012
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 78993909