Related Tags
haskell × 21functional-programming × 11
pl.programming-languages × 7
ct.category-theory × 7
monad × 6
type-theory × 5
type-systems × 3
lo.logic × 2
graph-theory × 1
computability × 1
ds.data-structures × 1
turing-machines × 1
randomized-algorithms × 1
sorting × 1
open-problem × 1
research-practice × 1
formal-methods × 1
type-inference × 1
data-streams × 1
constructive-mathematics × 1
domain-theory × 1
equivalence × 1
extensionality × 1
applicative × 1
comonad × 1