Type erasure
Appearance
In programming languages, type erasure refers to the compile-time process by which explicit type annotations are removed from a program, before it is executed at run-time. An operational semantics that does not require programs to be accompanied by types is called a type-erasure semantics, to be contrasted with a type-passing semantics. The possibility of giving a type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information.
References
- Crary, Karl; Weirich, Stephanie; Morrisett, Greg (2002). "Intensional Polymorphism in Type-Erasure Semantics". Journal of Functional Programming. 12 (6): 567–600.
{{cite journal}}
: Cite has empty unknown parameter:|booktitle=
(help)