Gabriele Vanoni

Découvre le rôle des types d'intersection monadiques dans l'amélioration des systèmes de types des langages de programmation.

Un aperçu des transducteurs d'arbres et de leur rôle dans la transformation de données.