Show simple item record

Implementing Type Families in Helium, a study on improving type error diagnosis for Type Families in Haskell.

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorHage, Jurriaan
dc.contributor.authorKwadijk, Niels
dc.date.accessioned2022-08-11T00:00:30Z
dc.date.available2022-08-11T00:00:30Z
dc.date.issued2022
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/42254
dc.description.sponsorshipUtrecht University
dc.language.isoEN
dc.subjectWe searched for ways to improve type error diagnosis for Type Families in Haskell. To this end, we used the techniques in the Helium compiler, which focusses on improving type error diagnosis. We found that the techniques are suitabpe to include type families. The compiler itself is however somewhat limited in its implemented constructs so we were not able to test our implementation thoroughly.
dc.titleImplementing Type Families in Helium, a study on improving type error diagnosis for Type Families in Haskell.
dc.type.contentMaster Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsType families; Haskell; Rhodium; Type error diagnosis; heuristics
dc.subject.courseuuComputing Science
dc.thesis.id8293


Files in this item

Thumbnail
Name:
Thesis report Niels-version3.pdf
Size:
774.7Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record