e/Parametricity

Information
has gloss	eng: __NOTOC__ In the theory of programming languages in computer science, parametricity is a theoretical result that states that functions that have types that are related to each other share certain properties in common.
lexicalization	eng: parametricity
instance of	c/Programming language topics