JFLA 2001: Pontarlier, France

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > JFLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/2001
Pierre Castéran:
Journées francophones des langages applicatifs (JFLA'01), Pontarlier, France, Janvier, 2001. Collection Didactique, INRIA 2001, ISBN 2-7261-1154-8
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/MagaudB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/MagaudB01
Nicolas Magaud, Yves Bertot:
Changement de représentation des structures de données en Coq: le cas des entiers naturels. JFLA 2001: 1-16
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Chicli01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Chicli01
Laurent Chicli:
Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq. JFLA 2001: 17-32
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/DelahayeM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/DelahayeM01
David Delahaye, Micaela Mayero:
Field, une procédure de décision pour les nombres réels en Coq. JFLA 2001: 33-48
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Pottier01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Pottier01
Loic Pottier:
Extraction dans le Calcul des Constructions Inductives. JFLA 2001: 49-58
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Prevosto01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Prevosto01
Virgile Prevosto:
Prototype d'interface utilisateur de la librairie FOC. JFLA 2001: 59-74
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Furuse01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Furuse01
Jun Furuse:
Generic Polymorphism in ML. JFLA 2001: 75-96
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Prost01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Prost01
Frédéric Prost:
On the semantics of non-interference type-based analysis. JFLA 2001: 97-112
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/CuoqP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/CuoqP01
Pascal Cuoq, Marc Pouzet:
Causalité modulaire dans un langage de flots synchrone. JFLA 2001: 113-128
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Plaindoux01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Plaindoux01
Didier Plaindoux:
Programmation fonctionnelle et XML: PaX. JFLA 2001: 129-144
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Karczmarczuk01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Karczmarczuk01
Jerzy Karczmarczuk:
Calcul des adjoints et programmation paresseuse. JFLA 2001: 145-156

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.