Data types
Type theory
Procedural programming languages
Program analysis
Type system
Attribute
ALGOL 68
Function
Programming language theory
Computing
Software engineering