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)
This training has been carried out at the LIX under Ian Mackie's supervision.