Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Michiel Derhaeg"'
Publikováno v:
Haskell@ICFP
GADTs were introduced in Haskell's eco-system more than a decade ago, but their interaction with several mainstream features such as type classes and functional dependencies has a lot of room for improvement. More specifically, for some GADTs it can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bbcfae93936706e41311f342de968de
https://lirias.kuleuven.be/handle/123456789/639312
https://lirias.kuleuven.be/handle/123456789/639312
