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 |
Bibliographical note
Publisher Copyright:© 2020 CEUR-WS. All rights reserved.
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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver