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

ype V Type site Bugatti Type 13 Type D F-type Duck typing Type 1 Algebraic data type Type XVII submarine Type S B type Type-Moon Refinement type Type certificate Type physicalism Type III N type Type I submarine Taito Type X Intersection type Type X submarine Koren Type Type Archive Type II supernova Q-type Type W Type 58 assault rifle Type–token distinction Type rating L-type asteroid Type B submarine Type

C submarine Type II string theory P22 (type foundry) Nominal type system Type 38 rifle Type XXI submarine R-Type Delta American Type Founders Type 22 Type 64 (tank) Type 88 Personality type Generalized algebraic data type Type 062 gunboat Type 99 cannon Type-in program Type G Bugatti Type 51 Body Type A-type proanthocyanidin Strong and weak typing Movable Type Jaguar F-Type T-type Type Ia supernova Type A submarine Enumerated type S-type asteroid Type 2 diabetes Type 1 diabetes Bugatti Type 35 R-Type Final Run-time type information Hindley–Milner type system R-Type II Short Type 827 Gun-type fission weapon Type 21 Type O Negative Jaguar E-Type Product type R-Type Tactics Type 93/Type 100 flamethrower Type H Ty