Solved and open problems in type error diagnosis?

Jurriaan Hage*

*Corresponding author for this work

Research output: Contribution to journalConference articleAcademicpeer-review


The purpose of this paper is to present a number of directions for future research in type error diagnosis. To be able to position these open problems, we first discuss accomplishments in the field without trying to be exhaustive.

Original languageEnglish
Pages (from-to)62-74
Number of pages13
JournalCEUR Workshop Proceedings
Publication statusPublished - 2020
Event4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering, STAF-WS 2020 - Bergen, Norway
Duration: 22 Jun 202026 Jun 2020


  • functional programming paradigm
  • open problems
  • programming languages
  • type error diagnosis


Dive into the research topics of 'Solved and open problems in type error diagnosis?'. Together they form a unique fingerprint.

Cite this