(computing) A set of data types that are common to all .NET languages and can be shared over CLI.

(software) Synonym of nominative type system

(programming) A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types.

A structural type system (or property-based type system) is a major class of type systems in which type compatibility and equivalence are determined by the type's actual structure or definition and not by other characteristics such as its name or place of declaration.

The Joint Electronics Type Designation System, which was previously known as the Joint Army-Navy Nomenclature System (AN System.

Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances.