manifest typing

Noun

 * 1)  A typing where the software programmer explicitly identifies the type of each declared variable.

Translations

 * French: