(object-oriented programming) A type which can be instantiated with any other type.

(programming) A data type that can be only used in certain places, for example as the argument to a function.

plural of A-type conflict

plural of built-in type

plural of generic type

(programming) A type system where some variables are statically-typed and some are dynamically-typed.

plural of leaded type

(programming) To perform typechecking.

plural of pseudo-type

plural of spectral type