Boris Yakobowski

Didier Rémy and I have written a paper on a graph-based presentation of the types of the ML^F language. This paper has been presented at the TLDI'07 workshop. The submitted version of the paper (with a few typos corrected) is available, as well as a black and white version, and the slides I presented at the workshop.

Since its publication, we have made some important revisions to this work. A much developed version is available as Part 1 of my PhD dissertation.

The abstract of the paper, as well as a BibTeX entry, can be found in my publications page.

This work is the continuation of what I presented at the APPSEM II Workshop, and entirely supersedes it.