Type inheritance

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

R-Type, Homotopy type theory, Type foundry, Type V, Type X, Type D, Composite data type, FBA Type A, S-Type, Algebraic data type, Type 1, Bugatti Type 13, F-type, Type 69 tank, Type–token distinction, Refinement type, Duck typing, Type II string theory, Type physicalism, Type certificate, Type III, Type S, Type XVII submarine, Taito Type X, Type-Moon, B type, Type I submarine, Type X submarine, Intersection type, N type, L-type asteroid, Type W, 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, Nominal type system, Type 58 assault rifle, Generalized algebraic data type, Type XXI submarine

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