"dependent type" -
related articles and key terms
Related terms:
scala
haskell
compiler
type inference
programming
computer science
programming language
Wikipedia sources:
Type system
Functional programming
Context for words:
dependent
type