safe typing

Also known as type soundness, type-safe, type safety typing, type safety system, type safety, safety typing

property of a type system that prevents certain erroneous or undesirable program behaviours