Hostname: page-component-7c8c6479df-xxrs7 Total loading time: 0 Render date: 2024-03-18T14:30:14.817Z Has data issue: false hasContentIssue false

Special Issue Dedicated to ICFP 2011 Editorial

Published online by Cambridge University Press:  29 October 2013

KENICHI ASAI
Affiliation:
Department of Information Science, Ochanomizu University, Tokyo, Japan (e-mail: asai@is.ocha.ac.jp)
BENJAMIN C. PIERCE
Affiliation:
Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA (e-mail: bcpierce@cis.upenn.edu)
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP) took place on September 19–21, 2011 in Tokyo, Japan. After the conference, the programme committee, chaired by Olivier Danvy, selected several outstanding papers and invited their authors to submit to this special issue of the Journal of Functional Programming. Kenichi Asai and Benjamin C. Pierce acted as editors for these submissions. This issue includes the three accepted articles, each of which provides substantial new material beyond the original conference version. The selected papers represent the importance of various aspects of proof techniques, from theory to practice, all of which aim at verifying realistic programs.

Type
Editorial
Copyright
Copyright © Cambridge University Press 2013 
Submit a response

Discussions

No Discussions have been published for this article.