sentences:  The possibility of giving type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information.In the context of generic programming, the opposite of type erasure is called reification.The reverse operation is called type inference.