Noun
manifest typing (uncountable) (programming) A typing where the software programmer explicitly identifies the type of each declared variable.