Type description

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

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

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