Solved and open problems in type error diagnosis?

Research output: Contribution to journalConference articlepeer-review

10 Downloads (Pure)

Abstract

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
Volume2707
Publication statusPublished - 24 Oct 2020

Keywords

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

Fingerprint

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

Cite this