Data types
Type theory
Procedural programming languages
Primitive types
Ada
XL
Type conversion
Boolean data type
Function
Software engineering
Computing
Computer programming