What is a strongly typed programming language?

What is a strongly typed programming language?