Solved and open problems in type error diagnosis?

Research output: Contribution to journalConference articlepeer-review

52 Downloads (Pure)


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 - 24 Oct 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