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

ype Type S Type 69 tank F-type Bugatti Type 13 Type locality FBA Type A Algebraic data type Composite data type Type foundry Type physicalism Type I submarine Type site Type certificate Type-Moon Type–token distinction Type XVII submarine Taito Type X N type Q-type Type D Type 1 Type II supernova Refinement type B type Type rating Enumerated type Type II string theory Type X submarine Type III L-type asteroid Type 58 assault rifle Koren Type American Type Founders Type-in program Personality type R-Type Del

ta Type W Type C submarine Type B submarine Type 64 (tank) P22 (type foundry) Type 38 rifle Run-time type information Type 99 cannon Body Type Type Archive Type Ia supernova Type G Type XXI submarine Type 2 diabetes Hindley–Milner type system Type 062 gunboat Jaguar F-Type Type 22 Type 88 A-type proanthocyanidin Type I hypersensitivity Nominal type system Type 1 diabetes Movable Type S-type asteroid Strong and weak typing Product type Gun-type fission weapon Generalized algebraic data type Type X Bugatti Type 51 Bugatti Type 35 Empty type Jaguar E-Type Type 17 R-Type Final Typing rule R-Type Tactics T-type Type O Negative R-Type II Type A submarine X-type Type 21 Short Type 827 Type 42 destroyer Type H Bl