Related Tags
type-checking × 109type-theory × 67
type-inference × 35
programming-languages × 32
compilers × 15
lambda-calculus × 12
dependent-types × 10
typing × 9
functional-programming × 6
polymorphisms × 6
types-and-programming-languages × 6
reference-request × 5
logic × 5
coq × 5
semantics × 3
interpreters × 3
terminology × 2
software-verification × 2
program-optimization × 2
language-design × 2
haskell × 2
curry-howard × 2
types × 2
domain-specific-languages × 2
algorithms × 1