A framework within which types are assigned to various constructs in computer programs, enhancing code reliability and safety.
Generality: 675
