Function type

Known as: Function space types, Function-space constructor, Arrow type 
In computer science, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1957-2018
010203019572017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
It is well known that high-dimensional nearest-neighbor retrieval is very expensive. Dramatic performance gains are obtained… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Gradual type systems offer a smooth continuum between static and dynamic typing by permitting the free mixture of typed and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
The decidability of equality is proved for Martin-Lof type theory with a universe a la Russell and typed beta-eta- equality… (More)
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
<lb>We define a language whose type system, incorporating session types, allows com-<lb>plex protocols to be specified by types… (More)
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2004
Highly Cited
2004
You can’t, of course: this program is obviously nonsense unless you’re a typechecker. The trouble is that only certain… (More)
  • figure 1
Is this relevant?
2003
2003
We study a typing scheme derived from a semantic situation where a single category possesses several closed structures… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We present a simple and powerful type inference method for dynamically typed languages where no type information is supplied by… (More)
  • figure 3
  • figure 5
Is this relevant?
1989
1989
Roughly fteen years ago, Huet developed a complete semidecision algorithm for uniication in the simply typed-calculus (!). In… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
types We have used the term abstract type for types of the form P = Some(A:Type) B, because this models the concept of having an… (More)
Is this relevant?