Faire bonne figure avec Mlpost

Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer. Faire bonne figure avec Mlpost. In Alan Schmitt, editor, JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings. Volume 7.2 of Studia Informatica Universalis, pages 477-507, 2009.

Abstract

Abstract is missing.