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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Our language Cogent simplifies verification of systems software using a certifying compiler, which produces a proof that the… 
Highly Cited
2008
Highly Cited
2008
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type… 
2007
2007
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices… 
2007
2007
Java generics in versions 1.5 and later, are implemented by generating only one byte code representation of a generic type or… 
2007
2007
In this paper, we propose a way of assigning static type information to unmarshalling functions and we describe a verification… 
2006
2006
2006
2006
In perpendicular recording, substantial erasure of the stored data patterns could occur during writing process. Among all those… 
2003
2003
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding… 
Highly Cited
2002
Highly Cited
2002
We develop the mechanism of variant parametric types, inspired by structural virtual types by Thorup and Torgersen, as a means to… 
Highly Cited
1998
Highly Cited
1998
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced…