Type theory
Computer arithmetic
Integer
Relation
Domain name
Lightweight Directory Access Protocol
Null
Subtype polymorphism
Computing
Data types
Software engineering