Solved and open problems in type error diagnosis?

Jurriaan Hage

Solved and open problems in type error diagnosis?

Research output: Contribution to journal › Conference article › peer-review

94 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 language	English
Pages (from-to)	62-74
Number of pages	13
Journal	CEUR Workshop Proceedings
Volume	2707
Publication status	Published - 24 Oct 2020

Keywords

functional programming paradigm
open problems
programming languages
type error diagnosis

Access to Document

Download pdf
©2020 for this paper by its authors.
Final published version, 419 KBLicence: CC BY

Cite this

@article{7271e176aa5f4a96afbb4741db89f34a,

title = "Solved and open problems in type error diagnosis?",

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.",

keywords = "functional programming paradigm, open problems, programming languages, type error diagnosis",

author = "Jurriaan Hage",

note = "Publisher Copyright: {\textcopyright} 2020 CEUR-WS. All rights reserved.; 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 ; Conference date: 22-06-2020 Through 26-06-2020",

year = "2020",

month = oct,

day = "24",

language = "English",

volume = "2707",

pages = "62--74",

journal = "CEUR Workshop Proceedings",