Type constructor

Known as: Higher-order type operator, Type constructors, Type operator 
In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1978-2017
0204019782017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Free theorems are a charm, allowing the derivation of useful statements about programs from their (polymorphic) types alone. We… (More)
Is this relevant?
2009
2009
Free theorems are a charm, allowing the derivation of useful statements about programs from their (polymorphic) types alone. We… (More)
Is this relevant?
2008
2008
We present a generalization of Java’s parametric polymorphism that enables parameterization of classes and methods by type… (More)
  • figure 1
  • figure 2
  • 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
2000
Highly Cited
2000
A polytypic value is one that is defined by induction on the structure of types. In Haskell types are assigned so-called kinds… (More)
  • figure 1
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free… (More)
  • figure 2
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
1996
1996
This paper provides a sound, complete and decidable equational theory for the terms of the (I; ;?;!)-fragment of intuitionistic… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This paper describes a flexible type system which combines overloading and higher-order polymorphism in an implicitly typed… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to… (More)
Is this relevant?