Programming language theory
Computer data
Type theory
Value
ALGOL 68
?:
MAD
C++11
Software engineering
Computing
Procedural programming languages