Type declaration

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

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

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