This training consists in implementing a compiler for a Small Functional Language (SFL) using the techniques of the Geometry of Interaction Machine (GOI).
My training report (in french)
An article about this subject
The entire program sfl.tar.gz
This training has been carried out at the LIX under Ian Mackie's supervision.