Procedural programming languages
Data types
Type theory
Fortran
C
Variable
Type system
MAD
FALSE
Computing
Software engineering
Programming language theory