Dans le cadre de cet exposé, nous allons vous présenter un prototype d'implémentation des séries formelles multivariées, basées sur le concept de séries paresseuses et implémentés à l'aide de "streams".
Les opérations classiques sur les classes combinatoires on été intégrées : somme, produit, différentiation, séquence et composition. De plus, la définition de séries peut se faire sous forme de systèmes incluant des définitions mutuellement récursives.