These encyclopedic articles explain different aspects of the type system of a programming language.