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 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 Type class Toyota Type A engine Type IX submarine Type 0 Type II submarine Media type E-Type Function type Recursive data type Primitive data type Type 2 Intersection type discipline Principal type P-type Honda Type R Type M R-Type Type 1 and type 2 sequence Type VII submarine Type foundry Type I and typ…

pe II errors Type site Type locality S-Type FBA Type A Type V Type 69 tank Homotopy type theory Algebraic data type F-type Type D Bugatti Type 13 Type 1 Type XVII submarine Refinement type Type-Moon Duck typing B type Type–token distinction Type physicalism Type certificate N type Type I submarine Type S Type X submarine Type III Taito Type X Intersection type Koren Type Q-type Type Archive Type W Type rating Type II supernova Ty

pe 58 assault rifle Type C submarine L-type asteroid Type B submarine Type II string theory Nominal type system R-Type Delta Type XXI submarine Bugatti Type 51 P22 (type foundry) Personality type Type 38 rifle Strong and weak typing Type 22 American Type Founders Generalized algebraic data type Type 64 (tank) S-type asteroid Type 062 gunboat Type 2 diabetes Type 88 Jaguar F-Type Type 99 cannon Type-in program Body Type Type G T-type Enumerated type Run-time type information Bugatti Type 35 Movable Type Short Type 827 Hindley–Milner type system R-Type Final A-type proanthocyanidin R-Type II Type A subm