About: Type erasure

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Process by which explicit type annotations are removed from a program

Property	Value
dbo:description	process by which explicit type annotations are removed from a program (en)
dbo:wikiPageWikiLink	dbr:If_and_only_if dbr:Generics_in_Java dbr:Type_inference dbr:Generic_programming dbr:Loader_(computing) dbr:Reification_(computer_science) dbr:Template_(C++) dbr:Operational_semantics dbr:Type_signature dbr:Abstraction_principle_(computer_programming) dbc:Type_theory dbr:Programming_languages dbr:Run_time_(program_lifecycle_phase) dbr:Lambda_term dbr:Type_polymorphism
dbp:wikiPageUsesTemplate	dbt:Comp-sci-stub dbt:Cite_journal dbt:Main dbt:Reflist dbt:Short_description
dct:subject	dbc:Type_theory
rdfs:label	Type erasure (en) 型消去 (ja) 类型擦除 (zh)
owl:sameAs	freebase:Type erasure wikidata:Type erasure dbpedia-ja:Type erasure dbpedia-zh:Type erasure dbpedia-global:Type erasure
prov:wasDerivedFrom	wikipedia-en:Type_erasure?oldid=1298939401&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Type_erasure
is dbo:wikiPageDisambiguates of	dbr:Erasure_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Rust_(programming_language) dbr:TypeScript dbr:Generics_in_Java dbr:Java_syntax dbr:Tagged_union dbr:Simply_typed_lambda_calculus dbr:Generic_programming dbr:Criticism_of_Java dbr:Comparison_of_Java_and_C++ dbr:Comparison_of_C_Sharp_and_Java dbr:Phase_distinction dbr:Monomorphization dbr:Function_type dbr:Erasure_(disambiguation)
is foaf:primaryTopic of	wikipedia-en:Type_erasure

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International