Type Type theory Type system Type inference Type safety 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 Primitive data type E-Type Recursive data type Function type Type II submarine Type 2 Honda Type R Intersection type discipline P-type Type M Principal type Type 1 and type 2 sequence R-Type Type foundry Type locality Type site Type VII submarine Type I and type II errors S-Type Homotopy type the…

eory Type V Type 69 tank F-type FBA Type A Algebraic data type Type D Bugatti Type 13 Refinement type Type XVII submarine Type-Moon Type 1 Type–token distinction Duck typing B type Type physicalism N type Type X submarine Type I submarine Type S Type certificate Type III Taito Type X Intersection type Q-type Koren Type Type W Type rating Type Archive L-type asteroid Type II supernova Type 58 assault rifle Type C submarine R-Type Delta Type B submarine Nominal type system Type II string theory Personality type Bugatti Type 51 Type 22 Type 64 (tank) American Type Founders Strong and weak typing P22 (type foundry) Type XXI su

bmarine Type 062 gunboat Type 38 rifle Type 88 S-type asteroid Type 2 diabetes Jaguar F-Type Type-in program Body Type Generalized algebraic data type Movable Type Type 99 cannon Run-time type information T-type Enumerated type Type G Bugatti Type 35 R-Type II Short Type 827 Hindley–Milner type system Type 21 Type Ia supernova R-Type Final Gun-type fission weapon Type A submarine A-type proanthocyanidin Type 1 diabetes Type O Negative Comparison of programming languages by type system Type 17 Type I hypersensitivity Product type Jaguar E-Type Type 80 Type X NSA product types Type H R-Type Tactics Type 93/Type 100 flamethrower Blood type Type 037 corvette Typing rule Howa Type 89 Vi