JFLA 2001: Pontarlier, France

Pierre Castéran (Ed.): Journées francophones des langages applicatifs (JFLA'01), Pontarlier, France, Janvier, 2001. Collection Didactique INRIA 2001, ISBN 2-7261-1154-8 BibTeX

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