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