sentences:  Type erasure
  
  In programming languages, type erasure is the load-time process by which explicit type annotations are removed from a program, before it is executed at run-time.Operational semantics that do not require programs to be accompanied by types are called "type-erasure semantics", to be contrasted with "type-passing semantics".