Type 4 Ho-To

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

Algebraic data type, Type foundry, S-Type, Composite data type, Type X, Homotopy type theory, Type V, R-Type, FBA Type A, F-type, Type D, Type–token distinction, Type 1, Type 69 tank, Type II string theory, Type III, B type, Duck typing, Refinement type, Type physicalism, Taito Type X, Type S, Bugatti Type 13, L-type asteroid, Type I submarine, Type XVII submarine, Koren Type, Type X submarine, Intersection type, Type certificate, X-type, Type Archive, Type-Moon, S-type asteroid, Cadillac Type 51, Q-type, Type W, N type, Y-Type, Type B submarine, Type C submarine, Type 22, Generalized algebraic data type, Type II supernova, Nominal type system, Type Z, Product type, Type 58 assault rifle, American Type Founders, Type XXI submarine

Type, Type theory, Type system, Type inference, Type safety, Dependent type, Intuitionistic type theory, Value type and reference type, Data type, Type conversion, A type, Diamond type, L-type, Type VII submarine, Type A and Type B personality theory, J type, Type family, Type IX submarine, Type (biology), Type constructor, Movable type, Substructural type system, Toyota Type A engine, Type 0, Type class, Recursive data type, Function type, E-Type, Type I and type II errors, Type 2, Type II submarine, Media type, Honda Type R, Intersection type discipline, Type 1 and type 2 sequence, Primitive data type, Principal type, Type M, Type site, P-type, Type locality, Algebraic data type, Type foundry, S-Type, Composite data type, Type X, Homotopy type theory, Type V, R-Type, FBA Type A, F-type, Type D, Type–token distinction, Type 1, Type 69 tank, Type II string theory, Type III, B type, Duck typing, Refinement type, Type physicalism, Taito Type X, Type S, Bugatti Type 13, L-type asteroid, Type I submarine, Type XVII submarine, Koren Type, Type X submarine, Intersection type, Type certificate, X-type, Type Archive, Type-Moon, S-type asteroid, Cadillac Type 51, Q-type, Type W, N type, Y-Type, Type B submarine, Type C submarine, Type 22, Generalized algebraic data type, Type II supernova, Nominal type system, Type Z, Product type, Type 58 assault rifle, American Type Founders, Type XXI submarine, Bugatti Type 51, Type 64 (tank), R-Type Delta, Type 062 gunboat, Type rating, Type 1 diabetes, Type 38 rifle, T-type, Movable Type, Type 88, Body Type, Personality type, Type Ia supernova, Run-time type information, Short Type 827, P22 (type foundry), R-Type Final, Any type, R-Type II, Type-in program, Type 2 diabetes, Hindley–Milner type system, Type 99 cannon, Jaguar F-Type, Type 21, Type A submarine, Type 69 RPG, Bugatti Type 35, Type G, Type O Negative, NSA product types, Type Shit, A-type proanthocyanidin, Jaguar E-Type, Type 80, Type 037 corvette, Typing rule, Type 17, Howa Type 89, Gun-type fission weapon, Type I hypersensitivity, Enumerated type, Comparison of programming languages by type system, Empty type, Type Ib and Ic supernovae, Hiro Type 91, Type species, R-Type Tactics, Compact Cassette tape types and formulations, Blood type, Vickers Type 123, Unit type, Type 56 assault rifle, Blood type personality theory, Type H, C-type lectin, Type 93/Type 100 flamethrower, Type 4, Type 72Z, Type IXB submarine