Jurriaan Hage, Utrecht University, Netherlands
Sheng Chen, University of Louisiana at Lafayette, USA
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
Authors are requested to submit their full papers to the Topical Issue complying the general scope of the journal. 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.
Contributors to the Topical Issue will benefit from:
+ Fair and constructive peer review provided by experts in the field
+ No space constraints
+ NO submission and publication FEES
+ Convenient, web-based paper submission and tracking system - Editorial Manager
+ Free language assistance for authors from non-English speaking regions
+ Fast online publication of articles (continuous publication model)
+ Open Access to your article for all interested readers
+ indexation in Web of Science (Emerging Sources Citation Index) and SCOPUS
+ Long-time preservation (articles archived in Portico)
+ Extensive post-publication promotion
We are looking forward to your submission.
If you have any question, please contact us at [hidden email]<mailto:[hidden email]> (Dr. Justyna Zuk, ME).
With best regards,
Dr. Justyna Zuk
Paladyn. Journal of Behavioral Robotics
Open Computer Science