Type specimens

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

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

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