2007-X.leroy(inriafunctionalprogramminglanguages-Mpri2-4-2 published presentations and documents on DocSlides.