Skip to main content Accessibility help
×
Home

03 Jul 2019,

JFP Special Issue on Gradual Typing

JFP call for papers

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.

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/dutqyXJSF5WM...

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: 

JFP advice to authors https://www.cambridge.org/core/journals/journal-of-functional-programming/information/advice-to-authors

JFP instructions for contributors https://www.cambridge.org/core/journals/journal-of-functional-programming/information/instructions-contributors

SPECIAL-ISSUE EDITORS

Amal Ahmed (amal@ccs.neu.edu)
Jens Palsberg (palsberg@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