A *(term) commonly used in _(functional) programming languages to indicate a class of _(higher-order) functions accepting other functions as inputs. 

Specifically, from <em>Combinators and Graph Reduction</em>, <em>Introduction</em> (see below):

<blockquote>
[..] Combinators are a special class of higher-order functions which were invented to study the elimination of bound variables from languages of logic, arithmetic and programming. By eliminating bound variables, we can study various formal properties of these languages independent of the usual problems associated with variable clashes and renamings. In particular, this leads to the possibility of an algebraic approach to programming and reasoning about programs, in which we can freely replace equals with equals in a direct, equational way. This contrasts with the usual approach to functional programming based on lambda calculus; [..]
</blockquote>

<ul class="links">
<li>
_("The Oberlin CS DRAGN Project"|http://www.cs.oberlin.edu/classes/dragn/labroot.html), _("Combinators and Graph Reduction"|http://www.cs.oberlin.edu/classes/dragn/labs/combinators/combinators.html) - _("Introduction"|http://www.cs.oberlin.edu/classes/dragn/labs/combinators/combinators0.html#@l10)
<li>See also _(Joy) and _("The Theory of Concatenative Combinators"|http://tunes.org/~iepos/joy.html) by _(Brent Kerby)
</ul>
