Static Typing is a language feature.
Static type checking is the process of verifying the type safety of a program based on analysis of a program's text (source code).
Languages with Static Typing include TypeScript, Nim, Haxe, Ceylon, carp, SISAL, Xtend