About
type safety means that the operations perform on a variable with a certain type are controlled at compile time. They are then safe at runtime (when the code runs). Errors would not show up when the code is running.
Articles Related
Java Definition
In java, type safety means, for instance, that you can't (cast|transform) a Java integer into an object reference or access private memory by corrupting Java bytecodes.