.:. Consultation > Derniers dépôts .:.

11 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Une axiomatique de la géométrie plane en Coq. Duprat J. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 123-136 [inria-00202836 - version 1]

Vérification formelle du tri fonctionnel par tas - Etude opérationnelle Manoury P. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 107-122 [inria-00202834 - version 1]

Métaprogrammation fonctionnelle appliquée à la génération d'un DSL dédié à la programmation parallèle Sérot J., Falcou J. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 153-171 [inria-00203008 - version 1]

Gagner en passant à la corde Filliâtre J.-C. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 139-152 [inria-00202841 - version 1]

SAT-MICRO: petit mais costaud ! Conchon S., Kanig J., Lescuyer S. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 91-106 [inria-00202831 - version 1]

Types Simples, Logique et Coercions Implicites Roux C. Dans 19e Journées Francophones des Langages Applicatifs - JFLA 2008 (2008) 79-90 [inria-00202824 - version 1]

Le caractère ' à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes Yakobowski B. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 63-78 [inria-00202817 - version 1]

De la webradio lambda à la lambda-webradio Baelde D., Mimram S. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 47-62 [inria-00202813 - version 1]

A Formal Verification for Kantorovitch's Theorem Pasca I. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 15-30 [inria-00202808 - version 1]

Formalisation des mathématiques : une preuve du théorème de Cayley-Hamilton Ould Biha S. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 1-14 [inria-00202795 - version 1]