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 language | English |
|---|---|
| Pages (from-to) | 62-74 |
| Number of pages | 13 |
| Journal | CEUR Workshop Proceedings |
| Volume | 2707 |
| Publication status | Published - 2020 |
| Event | 4th 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 2020 → 26 Jun 2020 |
Keywords
- functional programming paradigm
- open problems
- programming languages
- type error diagnosis