A los lenguajes con tipos fuertes se les suele llamar "de tipos seguros".