Type 95 SPAAA

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

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

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