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
Related Tags
denotational-semantics × 42pl.programming-languages × 17
semantics × 14
lambda-calculus × 10
ct.category-theory × 10
domain-theory × 10
reference-request × 7
operational-semantics × 6
type-theory × 5
lo.logic × 3
type-systems × 3
metric-spaces × 3
pr.probability × 2
functional-programming × 2
typed-lambda-calculus × 2
logical-relations × 2
big-picture × 1
dependent-type × 1
dfa × 1
formal-methods × 1
program-verification × 1
computing-over-reals × 1
compilers × 1
topology × 1
books × 1