Type Type theory Type system Type safety Type inference Dependent type Intuitionistic type theory Value type and reference type Type conversion Data type A type Diamond type Substructural type system L-type Movable type Type A and Type B personality theory Type (biology) Type family J type Composite data type Type constructor Type class Toyota Type A engine Type IX submarine Type 0 Media type Function type Recursive data type Primitive data type E-Type Type II submarine Intersection type discipline Principal type Type 2 Honda Type R Type M Type 1 and type 2 sequence P-type Type VII submarine R-Type Type foundry Type locality Type site Type I and type II errors FBA Type A S-Type…

e Homotopy type theory Type V F-type Type 69 tank Algebraic data type Bugatti Type 13 Type D Type 1 Type XVII submarine Type-Moon Refinement type Type–token distinction Duck typing B type N type Type S Type physicalism Type X submarine Type III Type I submarine Type certificate Taito Type X Intersection type Q-type Type Archive Koren Type Type W Type II supernova Type 58 assault rifle L-type asteroid Type II string theory Type C submarine Type rating Nominal type system R-Type Delta Type B submari

ne Type XXI submarine Bugatti Type 51 Personality type Type 22 American Type Founders P22 (type foundry) Type 38 rifle Type 64 (tank) Generalized algebraic data type Type 062 gunboat Type 2 diabetes Type 88 Jaguar F-Type S-type asteroid Type-in program Body Type Strong and weak typing Type 99 cannon Run-time type information Movable Type T-type Type G Short Type 827 Bugatti Type 35 Hindley–Milner type system Enumerated type R-Type II R-Type Final Type A submarine Type Ia supernova A-type proanthocyanidin Gun-type fission weapon Type 21 Type 1 diabetes Jaguar E-Type Type O Negative Product type Comparison of programming languages by type system Type 17 Type 80 Type X Type H NSA product t