Programming language theory
Data types
Type system
Type inference
Strong typing
C
Enumerated type
Array data type
Type conversion
Software engineering
Computing
Type theory