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

Related topics

Related topics

12 relations
Fixed-point combinatorGeneralized algebraic data typeHindley–Milner type systemOCaml
(More)

Broader (2)

Functional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Sliding-blade MEMS iris and variable optical attenuator
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
First-Class Phantom Types
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
Types for Safe Locking
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
Subtyping Constrained Types
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 Systems
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
Parametricity and Local Variables
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
Type Inference With Simple Subtypes
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
Polymorphic Type, Region and Effect Inference
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
Automatic Synthesis of Typed Lambda-Programs on Term Algebras
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
Polymorphic Type Inference
The benefits of strong typing to disciplined programming, tocompile-time error detection and to program verification are… (More)
Is this relevant?