Type designers

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

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

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