Skip to search formSkip to main contentSkip to account menu

Type erasure

Known as: Erasure (disambiguation) 
In programming languages, type erasure refers to the compile-time process by which explicit type annotations are removed from a program, before it is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
Abstraction principle (computer programming)Comparison of C Sharp and JavaComparison of Java and C++Compile time

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Harvesting the Wisdom of the Crowd to Infer Method Nullness in Java
Null pointer exceptions are common bugs in Java projects. Previous research has shown that dereferencing the results of method… 
2016
2016
Metapredicate Optimization for Datalog Queries through Program Analysis
Some systems extend Datalog in order to allow the use of constructions in which several queries are composed to produce the set… 
2015
2015
오픈스택 클라우드 스토리지 시스템에서 Pass-through GPU를 사용한 Erasure 코딩 성능향상 기법
2009
2009
Event-processing middleware with information flow control
Large-scale, multi-domain, event-based systems are appropriate for a number of emerging application domains, such as… 
2008
2008
Adapting JML to generic types and Java 1.6
Despite the current effort to implement the Java Modeling Language for Java 1.5, and in particular for generic types, there has… 
2007
2007
Type Erasure in C + + : The Glue between Object-Oriented and Generic Programming Presentation
C++ is a multi-paradigm language. The two main paradigms in C++ are object-oriented programming and generic programming. Many… 
2006
2006
Specialization fo Java Generic Types
Generic types are a new feature in the Java programming language, and allow the programmer to write a class or method that has a… 
Review
2005
Review
2005
High-Confidence, Modular Compiler Development in a Formal Environment
We present a methodology for realistic compiler development in an existing formal methods framework. Program transformations and… 
Review
2002
Review
2002
Guest editorial
The Eighth International Workshop on Foundations of Object-Oriented Languages (FOOL 8) was held on January 20, 2001, colocated… 
1994
1994
Termination of system F-bounded (Note)
System F-bounded is a second order lambda calculus with subtyping. It extends system F≤ (see [Cardelli Wegner 85, Curien Ghelli…