Mon stage de maîtrise : SFL

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).

Le rapport de stage

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.