Type variable

In type theory and programming languages, a type variable is a mathematical variable ranging over types. Even in programming languages that allow… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
An iris-type variable aperture fabricated using microelectromechanical systems (MEMS) technology is described. The device… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Classical phantom types are datatypes in which type constraints are expressed using type variables that do not appear in the… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A constrained typeis a type that comes with a set of subtyping constraints on variables occurring in the type. Constrained type… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
type: A data type whose nature is kept hidden, in such a way that only a predetermined collection of operations can operate on it… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We propose that the phenomenon of local state may be understood in terms of Strachey's concept of parametric (i.e., uniform… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
ion clause, we use A -{x: σ} to denote the set difference, i.e., the type assignment defined by removing x: σ from A. G(x) = { s… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We present a new static system that reconstructs the types regions and e ects of ex pressions in an implicitly typed functional… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
The notion of iteratively defined functions from and to heterogeneous term algebras is introduced as the solution of a finite set… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
The benefits of strong typing to disciplined programming, tocompile-time error detection and to program verification are… (More)
Is this relevant?