Typisierung

Noun

 * 1)  typing (act of a type system associating types with each computed value)