One may also use substitution when integrating functions of several variables.
Yet this solution of using substitution was seen as being not feasible.
Under full β-reduction, any function application may be reduced (substituting the function's argument into the function using capture-avoiding substitution) at any time.
A macro, which is also a compile-time language feature, generates code in-line using text manipulation and substitution.
This has led to the study of systems that use explicit substitution.
Received traps are translated into friendly messages using variable substitution.
"The Gold-Bug" includes a cipher that uses polyphonic substitution.
In some procedural languages, such as C and C++, macros are implemented using token substitution.
Most other indoor football leagues have used free substitution since their inception.
Using electrophilic aromatic substitution, many functional groups are introduced onto the benzene framework.