My master's training : implementing the GOI machine

[Français] [Index]

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.