Type C9 ships

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, Recursive data type, Function type, Type II submarine, Type I and type II errors, Media type, Type 2, Principal type, Primitive data type, Type M, Honda Type R, Type site, P-type, Intersection type discipline, Type locality, Type 1 and type 2 sequence, Type VII submarine

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