Appels récursif de méthodes.

Des procédures (ou méthodes) peuvent être appelées récursivement de manière non bornée. Ceci permet par exemple de manipuler des structures de données dynamiques comme des listes. Il est possible donc d'avoir des piles de contextes de retour ayant des tailles arbitrairement grandes (on doit avoir une pile par processus parallèle en cours d'exécution).