What is typing discipline

C# typing discipline is described by Wikipedia as: static, dynamic, strong, safe, nominative, partially inferred

What is the definition of typing discipline? What do those terms mean, and how do they connect to language?