type erasure
Sign in to saveprocess 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
process by which explicit type annotations are removed from a program
via Wikidata · CC0