Jump to ContentJump to Main Navigation
Navigate here

Topical Issue on Type Error Diagnosis and Closely Related Fields (Part II)

                 ◄ Back to journal

EDITED BY

Guest Editor: Sheng Chen, University of Louisiana at Lafayette, USA
Advisory Editor: Jurriaan Hage, Utrecht University, Netherlands

DESCRIPTION

Type error diagnosis addresses the problem of communicating to the programmers of statically typed languages why a given program is considered to be type incorrect and therefore cannot be compiled. Ultimately, the aim of the field is to increase the usability of compiler tools for statically typed languages. Traditionally, the field of type error diagnosis has centered on functional languages. However, we are explicitly looking for papers within the field irrespective of the programming language of programming paradigm, including but not restricted to imperative, object-oriented, functional, logical, and multi-paradigm languages. Papers may be of a fundamental and/or application-oriented nature. For example, they may discuss a general framework for implementing type error diagnosing techniques, study type error diagnosing facilities implemented in compilers, or report on a user study. Submitted papers should make a case why the paper should be of interest to anyone interested in type error diagnosis.

The submitted papers will undergo the standard peer-review process before they can be accepted. Notification of acceptance will be communicated as we progress with the review process.

HOW TO SUBMIT

Before submission authors should carefully read the Instruction for Authors: https://www.degruyter.com/view/supplement/s22991093_Instruction_for_Authors.pdf 

All submissions to the Topical Issue must be made electronically via online submission system Editorial Manager: http://www.editorialmanager.com/opencs/

All manuscripts will go through the Open Computer Science high standards, quick, fair and comprehensive peer-review procedure (single blind, at least two independent reviewers). When entering your submission via online submission system please choose the option “TI on Type error diagnosis and closely related fields”.

All authors who would like to contribute to the Topical Issue - Part II are welcome to submit a paper by 25th February 2019.
Individual papers will be reviewed and published online as they arrive, in average:

First decision: 15th April 2019
Revision submission: 1st June 2019
Final decision: 1st July 2019
Publication online: 20th August 2019

Contributors to the Topical Issue will benefit from:

  • NO submission and publication FEES
  • indexation in Web of Science Core Collection (ESCI) and SCOPUS
  • fair and constructive peer review provided by experts in the field
  • no space constraints
  • convenient, web-based paper submission and tracking system – Editorial Manager
  • free language assistance for authors from non-English speaking regions
  • fast online publication upon completing the publishing process
  • better visibility due to Open Access
  • long-term preservation of the content (articles archived in Portico)
  • extensive post-publication promotion for selected papers

We are looking forward to your submission.
In case of any question please contact Dr. Justyna Żuk, Managing Editor (Justyna.Zuk@degruyteropen.com).