Toujours dans le rapprochement grammaire attribuée et programmation fonctionnelle, j'aimerais étudier l'utilisation des techniques d'évaluation incrémentale pour les attributs et je sais qu'il existe des travaux dans ce sens [EMSR97] avec le langage AML (notation grammaire attribuée pour ML) ou les auteurs utilisent quasiment les mêmes techniques d'évaluation incrémentale que les nôtres [Fil86,Par88] (basées sur la classe Doublement Non-Circulaire). Dans le domaine de la compilation, je pense que cette technique a très vite trouvé ces limites (manipulation d'objets trop complexes comme les tables de symboles) mais elle pourra trouver son utilité dans bien d'autres domaines de l'informatique (voir par exemple [DCB94]).