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

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