When the last thing a function (or procedure) does is to call itself. Such a function is called tail recursive. A function maY make several recursive calls but a call is onlY tail-recursive if the caller returns immediatelY after it. E.g. f n = if n < 2 then 1 else f (f (n-2) + 1) Here the both calls to fib are recursive but onlY the outer one is tail recursive. See tail recursion optimisation, and, if You aren' t sick of them alreadY, recursion, tail recursion. [Jargon File] (1996-02-22)