Jump to ContentJump to Main Navigation

Type error diagnosis and closely related fields

                 ◄ Back to journal


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.

If you are in doubt whether your work is on topic for our special issue, please contact one of the editors:
Dr. Jurriaan Hage - Dept. of Information and Computing Science, Utrecht University
Dr. Sheng Chen - School of Computing and Informatics at University of Louisiana at Lafayette


Before submission authors should carefully read the Instructions for Authors, which are located here. All submissions to the Topical Issue must be made electronically at via online submission system Editorial Manager.
All manuscripts will go through the Open Computer Science high standards, quick, fair and comprehensive peer-review procedure..When entering your submission via online submission system please choose the type article Type error diagnosis and closely related fields

The deadline for the submissions is 1st of June 2018, but individual papers will be reviewed and published online as they arrive.

Contributors to the Special Issue will benefit from:

  • fair and constructive peer review provided by recognized experts in the field,
  • Open Access to your article for all interested readers,
  • fast online publication of articles,
  • online submission and tracking system,
  • free language assistance for authors from non-English speaking regions;
  • no Article Processing Charge

We are looking forward to your submission. If you have any question, please contact us:
Managing Editor: Magdalena.Gruszka@degruyteropen.com