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.
|Number of pages||13|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 24 Oct 2020|
- functional programming paradigm
- open problems
- programming languages
- type error diagnosis