Julien Signoles. Calcul statique des applications de modules paramétrés. In Jean-Christophe Filliâtre, editor, Journées francophones des langages applicatifs (JFLA 03), Chamrousse, France, Janvier 2003. Collection Didactique, pages 21-36, INRIA, 2003.
Abstract is missing.