6 citations · 16 across the 8 of their papers we have counts for
1 paper · 1 filter
Richard A. Eisenberg
Haskell, as implemented in the Glasgow Haskell Compiler (GHC), has been adding new type-level programming features for some time. Many of these features---chiefly: generalized alge…