Next:
déforestation et la
Up:
Le programme scientifique de
Previous:
Les grammaires attribuées
Les grammaires attribuées et la programmation fonctionnelle
déforestation et la composition descriptionnelle
Analyse statique pour la mise à jour destructive
Évaluation indulgente et analyse statique dans les GA
Typage et inférence de type: notation grammaire attribuée au-dessus de ML
Les grammaires attribuées et la sémantique dénotationnelle
Didier Parigot
Mon Apr 7 10:23:43 MET DST 1997