Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

type erasure · Vinony

🌐English

English Deutsch Русский 한국어 中文日本語

EntityQ7860901· pop 7· linked from 13 articles

type erasure

process by which explicit type annotations are removed from a program

Available in 6 languages

Deutsch
中文
日本語
Русский
한국어

via Wikidata sitelinks · CC0

Connections

computer science

programming language

Categories

Sources

wikipedia.externallinksexternallink

digital object identifier

Entity

lambda calculus

generic programming

rule of inference

inference typing

operational semantics

generics in Java

abstraction principle

Sign in to save

What links here13 pages

simply typed lambda calculus

comparison of Java and C++

generic programming

generics in Java

comparison of C# and Java

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.48

Entitydist 0.49

nominative typing

Entitydist 0.51

Entitydist 0.51

Common Type System

Entitydist 0.51

Entitydist 0.58

Entitydist 0.60

process modeling

Entitydist 0.60

Entitydist 0.64

software feature

Entitydist 0.64

Entitydist 0.66

Application domain

Entitydist 0.66