Noun
parametric polymorphism (usually uncountable, plural parametric polymorphisms)
(programming) A way to make a computer language more expressive, while maintaining full static type safety, by allowing a function or a data type to be written generically so that it can handle values identically without depending on their type.