<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">Reminder: Intent to Submit Deadline is TODAY, December 18 (see below for link).</div><div class=""><br class=""></div><div class="">----</div><div class="">JFP Special Issue on Gradual Typing</div><div class=""><br class=""></div><div class="">Submission deadline: 15 January 2020</div><div class=""><br class=""></div><div class="">Expected publication date: February 2021</div><div class=""><br class=""></div><div class="">SCOPE</div><div class=""><br class=""></div><div class="">The field of gradual typing has grown exponentially over the past decade, both in terms of research and industrial adoption. Gradual typing, the idea of adding/strengthening types in existing programs, demands work on design, theory, implementation, and usability. As such, the field deserves a special journal issue with reflective papers.</div><div class=""><br class=""></div><div class="">TOPICS</div><div class=""><br class=""></div><div class="">Thus far, three major themes have emerged in the field of gradual typing: (1) researchers have explored numerous dimensions of the design space of gradually typed languages; (2) from this exploration, theoreticians have (re-)opened questions regarding semantics and metatheory; and (3) implementors have been grappling with the seemingly high overhead of sound gradual typing. The special issue welcomes contributions on these themes as well as ones that go beyond, for instance, usability and usefulness of gradual types.</div><div class=""><br class=""></div><div class="">We invite authors from across the spectrum of gradual typing. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme.</div><div class=""><br class=""></div><div class="">Beyond academics, we especially also welcome working programmers who may wish to consider authoring experience reports, which will be held to appropriate standards laid out for Practice and Experience papers.</div><div class=""><br class=""></div><div class="">The special issue also welcomes high-quality survey papers that would benefit a wide audience.</div><div class=""><br class=""></div><div class="">NOTIFICATION OF INTENT </div><div class=""><br class=""></div><div class="">Authors MUST notify the special-issue editors of their intent to submit by December 18, 2019. The notification of intent should be submitted by filling out the following web form which asks for data needed to identify suitable reviewers: <a href="https://forms.gle/dutqyXJSF5WMuuCRA" class="">https://forms.gle/dutqyXJSF5WMuuCRA</a></div><div class=""><br class=""></div><div class="">SUBMISSIONS</div><div class=""><br class=""></div><div class="">Full-length, archival-quality submissions are solicited on all aspects of gradual typing. </div><div class=""><br class=""></div><div class="">Submissions should be sent through the JFP Manuscript Central system. Choose “Gradual Typing” as the paper type, so that it gets assigned to the special issue.</div><div class=""><br class=""></div><div class="">Submissions that are based on previously-published conference or workshop papers must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss such submissions with the editors to ensure compliance with this policy.</div><div class=""><br class=""></div><div class="">For detailed instructions regarding layout and submission, please see the JFP <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming/information/advice-to-authors" class="">advice to authors</a> and <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming/information/instructions-contributors" class="">instructions for contributors</a>. </div><div class=""><br class=""></div><div class="">SPECIAL-ISSUE EDITORS</div><div class=""><br class=""></div><div class="">Amal Ahmed (<a href="mailto:amal@ccs.neu.edu" class="">amal@ccs.neu.edu</a>)</div><div class="">Jens Palsberg (<a href="mailto:palsberg@cs.ucla.edu" class="">palsberg@cs.ucla.edu</a>)</div><div class=""><br class=""></div><div class="">IMPORTANT DATES</div><div class=""><br class=""></div><div class="">18 December 2019: Notification-of-intent deadline </div><div class="">15 January 2020: Submission deadline </div><div class="">21 April 2020: First round of reviews</div><div class="">19 August 2020: Revision deadline </div><div class="">17 November 2020: Second round of reviews, if applicable </div><div class="">13 January 2021: Final accepted versions due</div><div class=""><br class=""></div><div class="">Link to CFP: <a href="https://www.cambridge.org/core/news/jfp-special-issue-on-gradual-typing" class="">https://www.cambridge.org/core/news/jfp-special-issue-on-gradual-typing</a></div></body></html>