Type certification

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

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

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