8 citations · 22 across the 6 of their papers we have counts for
1 paper · 1 filter
J. Garrett Morris
As originally proposed, type classes provide overloading and ad-hoc definition, but can still be understood (and implemented) in terms of strictly parametric calculi. This is not t…