6 citations · 11 across the 4 of their papers we have counts for
1 paper · 1 filter
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg +1
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…