New answers tagged denotational-semantics
1
vote
A mathematical (categorical) description of type classes
Here is a categorical description of (certain kinds of) typeclasses. So far, I can fully elaborate this only for simpler typeclasses such as monoids or semigroups, not for type constructor typeclasses ...
- 181
Top 50 recent answers are included