118
Voted
ICFP
2002
ACM
16 years 8 days ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...