Which of the following statements are correct if a language is strongly typed. Select all that apply.

Group of answer choices

Type is not known at compilation time.

Each name in a program has a single type associated with it$.$

Type errors are always reported.

The variable size can be determined at execution time.