Currying

Known as: Curried function, Function currying, Currying concept 
In mathematics and computer science, currying is the technique of translating the evaluation of a function that takes multiple arguments (or a tuple… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1942-2017
05019422016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Sequence variables play an interesting role in unification and matching when dealing with terms in an unranked signature… (More)
Is this relevant?
2004
2004
In [8] (1920), Lukasiewicz introduced a 3-valued propositional calculus with one designated truth-value and later in [9… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2002
2002
The Curry form of a term, like f(a, b), allows us to write it, using just a single binary function symbol, as @(@(f, a), b… (More)
  • figure 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We introduce the type theory ¿µv, a call-by-value variant of Parigot's ¿µ-calculus, as a Curry-Howard representation theory of… (More)
Is this relevant?
1996
1996
Relocation adjusts machine instructions to account for changes in the locations of the instructions themselves or of external… (More)
  • table 1
Is this relevant?
1996
1996
We present a calculus based on the view that it should be possible to de ne a subclass method by specifying only the way in which… (More)
Is this relevant?
1996
1996
Currying is a transformation of term rewrite systems which may contain symbols of arbitrary arity into systems which contain only… (More)
  • figure 2
  • figure 4
  • figure 6
  • figure 8
  • figure 9
Is this relevant?
1995
1995
Reduction Systems Definition An Abstract Reduction System short ARS consists of a set A and a sequence i of binary relations on A… (More)
  • figure I
Is this relevant?
1984
1984
Inverse currying transformation of an attribute grammar moves a context condition to places in the grammar where the violation of… (More)
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
  • figure 2
Is this relevant?