Ce stage consiste à implémenter un compilateur pour un petit langage fonctionnel appelé SFL (Small Functional Language) à l'aide de la géométrie de l'interaction (GOI).
Un article sur ce sujet (en anglais)
Le programme complet sfl.tar.gz
Ce stage a été réalisé au LIX sous la direction de Ian Mackie.