Implementing Type Families in Helium, a study on improving type error diagnosis for Type Families in Haskell.
Publication date
Authors
DOI
Document Type
Master Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
Abstract
Keywords
Type families; Haskell; Rhodium; Type error diagnosis; heuristics