16 Jan 2007
Didier Rémy and I have written a paper on a graph-based presentation of the types of the MLF 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.