The pair is represented as a function that takes a function argument.
Another feature of the notation, although less exceptional, is that function arguments may need to be inferred from the context when several variables are involved.
The subtyping of mutable references is similar to the treatment of function arguments and return values.
In context of the C programming language, function arguments are pushed on the stack in the reverse order.
In Miranda and Haskell, evaluation of function arguments is delayed by default.
However, commas that delimit function arguments are not sequence points.
It provides facilities for stepping through a list of function arguments of unknown number and type.
Historically, these were termed the funarg problems, the name coming from "function argument".
By convention, tensor indices of function arguments are dropped.
DPIs allow transfer of data between two domains through function arguments and return.