I think it is possible to express all recursion as tail-call recursion, but only by passing continuations as arguments, which might lose the advantage of a tail-call recursion. Any computation you have left in the current frame you could put into a continuation. However, that continuation then grows, so you need more memory for it, instead of multiple stack frames, so the advantage ist lost.