Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03607574n
Noun Concept
Categories: Computer science stubs, Type theory
EN
type erasure
EN
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. Wikipedia
Definitions
Relations
Sources
EN
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. Wikipedia
A process by which explicit type annotations are removed from a program Wikipedia Disambiguation
A compile-time process by which explicit data type annotations are removed from a program, before run-time execution. Wiktionary
IS A
type inference
Wikipedia
EN
type erasure
Wikidata
EN
Type erasure
Wiktionary
EN
type erasure

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License