Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2007
2007
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices… Expand
  • figure 1
  • figure 2
  • figure 5
Is this relevant?
2007
2007
Java generics in versions 1.5 and later, are implemented by generating only one byte code representation of a generic type or… Expand
Is this relevant?
2007
2007
C++ is a multi-paradigm language. The two main paradigms in C++ are object-oriented programming and generic programming. Many… Expand
Is this relevant?
2007
2007
In this paper, we propose a way of assigning static type information to unmarshalling functions and we describe a verification… Expand
Is this relevant?
2006
2006
In perpendicular recording, substantial erasure of the stored data patterns could occur during writing process. Among all those… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced… Expand
Is this relevant?
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… Expand
  • figure 2
  • figure 3
  • figure 9
Is this relevant?