Abstract FR:

Dans les langages fonctionnels, les operateurs pouvant admettre un nombre variable d'arguments comme l'addition n-aire, sont le plus souvent implantes au moyen de codage ou de structure sur les arguments. Pour modeliser ces operateurs, nous proposons, pour un ensemble etendu de termes combinatoires permettant l'usage de sequences de longueur indeterminee, un algorithme d'abstraction de sequence fonde sur les combinateurs recurrents et les iterateurs de church. Nous montrons comment, dans un langage fonctionnel comme sasl implante a l'aide de combinateurs, cet algorithme permet d'utiliser des fonctions d'arite variable pour definir des familles de programmes