process by which explicit type annotations are removed from a program
Wikidata facts
- Instance of
- inference typing
Show 1 more fact
- facet of
- operational semantics
via Wikidata · CC0
Article · 日本語
型消去 (英: type erasure) とは、が存在するクラスや構造体において、型変数を消去すること。
Abstract from DBpedia / Wikipedia · CC BY-SA