Conferences in DBLP
(jfla) 2001 (conf/jfla/2001)
Nicolas Magaud , Yves Bertot Changement de représentation des structures de données en Coq: le cas des entiers naturels. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:1-16 [Conf ] Laurent Chicli Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:17-32 [Conf ] David Delahaye , Micaela Mayero Field, une procédure de décision pour les nombres réels en Coq. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:33-48 [Conf ] Loic Pottier Extraction dans le Calcul des Constructions Inductives. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:49-58 [Conf ] Virgile Prevosto Prototype d'interface utilisateur de la librairie FOC. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:59-74 [Conf ] Jun Furuse Generic Polymorphism in ML. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:75-96 [Conf ] Frédéric Prost On the semantics of non-interference type-based analysis. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:97-112 [Conf ] Pascal Cuoq , Marc Pouzet Causalité modulaire dans un langage de flots synchrone. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:113-128 [Conf ] Didier Plaindoux Programmation fonctionnelle et XML: PaX. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:129-144 [Conf ] Jerzy Karczmarczuk Calcul des adjoints et programmation paresseuse. [Citation Graph (0, 0)][DBLP ] JFLA, 2001, pp:145-156 [Conf ]