La récursion de queue est une stratégie récursive dans laquelle une fonction effectue un certain travail, puis s'appelle elle-même. La «queue» fait référence au fait que la récursivité est à la toute fin de la fonction. De nombreux compilateurs de langage de programmation - en particulier fonctionnels - peuvent transformer ces types d'appels en itération, ce qui signifie que la récursivité de queue dans les langages pris en charge peut être utilisée sans craindre un débordement de pile, quel que soit le nombre d'appels.