Type I string

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

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

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