Boris Yakobowski

I've presented at the 3rd APPSEM II Workshop a talk about some preliminary results of my thesis. More precisely, they consist in a reformulation of MLF using graphs for the representation of types. This is the corresponding extended abstract.

The slides I've used are here in pdf, or there for Advi users (the Advi version contains more transitions, but needs some manual recentering).

Note that all the content presented in the extended abstract is developped in this article.