Reminder: Intent to Submit Deadline is TODAY, December 18 (see below for link).
----
JFP Special Issue on Gradual Typing
Submission deadline: 15 January 2020
Expected publication date: February 2021
SCOPE
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.
TOPICS
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.
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.
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.
The special issue also welcomes high-quality survey papers that would benefit a
wide audience.
NOTIFICATION OF INTENT
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: https://forms.gle/dutqyXJSF5WMuuCRA
<https://forms.gle/dutqyXJSF5WMuuCRA>
SUBMISSIONS
Full-length, archival-quality submissions are solicited on all aspects of
gradual typing.
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.
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.
For detailed instructions regarding layout and submission, please see the JFP
advice to authors
<https://www.cambridge.org/core/journals/journal-of-functional-programming/information/advice-to-authors>
and instructions for contributors
<https://www.cambridge.org/core/journals/journal-of-functional-programming/information/instructions-contributors>.
SPECIAL-ISSUE EDITORS
Amal Ahmed (a...@ccs.neu.edu <mailto:a...@ccs.neu.edu>)
Jens Palsberg (palsb...@cs.ucla.edu <mailto:palsb...@cs.ucla.edu>)
IMPORTANT DATES
18 December 2019: Notification-of-intent deadline
15 January 2020: Submission deadline
21 April 2020: First round of reviews
19 August 2020: Revision deadline
17 November 2020: Second round of reviews, if applicable
13 January 2021: Final accepted versions due
Link to CFP:
https://www.cambridge.org/core/news/jfp-special-issue-on-gradual-typing
<https://www.cambridge.org/core/news/jfp-special-issue-on-gradual-typing>
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell