Search dblp for Publications

export results for "toc:db/conf/jfla/jfla2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/jfla/Chicli01,
  author       = {Laurent Chicli},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Une formalisation des faisceaux et des sch{\'{e}}mas affines
                  en th{\'{e}}orie des types avec Coq},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {17--32},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 12:05:13 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/Chicli01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/CuoqP01,
  author       = {Pascal Cuoq and
                  Marc Pouzet},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Causalit{\'{e}} modulaire dans un langage de flots synchrone},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {113--128},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/CuoqP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/DelahayeM01,
  author       = {David Delahaye and
                  Micaela Mayero},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Field, une proc{\'{e}}dure de d{\'{e}}cision pour les nombres
                  r{\'{e}}els en Coq},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {33--48},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/DelahayeM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/Furuse01,
  author       = {Jun Furuse},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Generic Polymorphism in {ML}},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {75--96},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/Furuse01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/Karczmarczuk01,
  author       = {Jerzy Karczmarczuk},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Calcul des adjoints et programmation paresseuse},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {145--156},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/Karczmarczuk01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/MagaudB01,
  author       = {Nicolas Magaud and
                  Yves Bertot},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Changement de repr{\'{e}}sentation des structures de donn{\'{e}}es
                  en Coq: le cas des entiers naturels},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {1--16},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/MagaudB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/Plaindoux01,
  author       = {Didier Plaindoux},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Programmation fonctionnelle et {XML:} PaX},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {129--144},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/Plaindoux01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/Pottier01,
  author       = {Loic Pottier},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Extraction dans le Calcul des Constructions Inductives},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {49--58},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/Pottier01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/Prevosto01,
  author       = {Virgile Prevosto},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Prototype d'interface utilisateur de la librairie {FOC}},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {59--74},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/Prevosto01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/Prost01,
  author       = {Fr{\'{e}}d{\'{e}}ric Prost},
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {On the semantics of non-interference type-based analysis},
  booktitle    = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  pages        = {97--112},
  publisher    = {{INRIA}},
  year         = {2001},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/Prost01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfla/2001,
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  publisher    = {{INRIA}},
  year         = {2001},
  isbn         = {2-7261-1154-8},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.