default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/jfla:"
download as .bib file
@inproceedings{DBLP:conf/jfla/BagnolDS14,
author = {Marc Bagnol and
Amina Doumane and
Alexis Saurin},
editor = {Christine Tasson and
David Baelde},
title = {Analyse de d{\'{e}}pendances et correction des r{\'{e}}seaux
de preuve},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {159--174},
year = {2014},
timestamp = {Fri, 28 Nov 2014 14:16:32 +0100},
biburl = {https://dblp.org/rec/conf/jfla/BagnolDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/BodinJS14,
author = {Martin Bodin and
Thomas P. Jensen and
Alan Schmitt},
editor = {Christine Tasson and
David Baelde},
title = {Pretty-big-step-semantics-based Certified Abstract Interpretation},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {109--130},
year = {2014},
timestamp = {Mon, 17 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/BodinJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/ConchonDMM14,
author = {Sylvain Conchon and
David Declerck and
Luc Maranget and
Alain Mebsout},
editor = {Christine Tasson and
David Baelde},
title = {V{\'{e}}rification de programmes {C} concurrents avec Cubicle
: Enfoncer les barri{\`{e}}res},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {17--32},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/ConchonDMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/DumasDEP14,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous},
editor = {Christine Tasson and
David Baelde},
title = {Formal verification in Coq of program properties involving the global
state effect},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {1--16},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/DumasDEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/HiraiA14,
author = {Yoichi Hirai and
Reynald Affeldt},
editor = {Christine Tasson and
David Baelde},
title = {What could Coq do for Database Software? - {A} Progress Report},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {33--48},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/HiraiA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Husson14,
author = {Adrien Husson},
editor = {Christine Tasson and
David Baelde},
title = {Une s{\'{e}}mantique statique pour MongoDB},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {77--92},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Husson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/MandelG14,
author = {Louis Mandel and
Adrien Guatto},
editor = {Christine Tasson and
David Baelde},
title = {R{\'{e}}seaux de Kahn {\`{a}} rafales et horloges enti{\`{e}}res},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {93--108},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/MandelG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/MandelP14,
author = {Louis Mandel and
C{\'{e}}dric Pasteur},
editor = {Christine Tasson and
David Baelde},
title = {Ex{\'{e}}cution efficace de programmes ReactiveML},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {49--64},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/MandelP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/PedrotDS14,
author = {Pierre{-}Marie P{\'{e}}drot and
Amina Doumane and
Alexis Saurin},
editor = {Christine Tasson and
David Baelde},
title = {N{\'{e}}cessit{\'{e}} faite loi : de la r{\'{e}}duction
lin{\'{e}}aire de t{\^{e}}te {\`{a}} l'{\'{e}}valuation
paresseuse},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {175--189},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/PedrotDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/PousS14,
author = {Damien Pous and
Alan Schmitt},
editor = {Christine Tasson and
David Baelde},
title = {De la {KAM} avec un Processus d'Ordre Supe'rieur},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {149--158},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/PousS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/SerpetteMC14,
author = {Bernard P. Serpette and
Pascal Manoury and
Emmanuel Chailloux},
editor = {Christine Tasson and
David Baelde},
title = {Unification des couleurs dans un {\(\lambda\)}-calcul polychrome},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {65--76},
year = {2014},
timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/SerpetteMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Signoles14,
author = {Julien Signoles},
editor = {Christine Tasson and
David Baelde},
title = {Comment un chameau peut-il {\'{e}}crire un journal ?},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {131--148},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Signoles14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfla/2014,
editor = {Christine Tasson and
David Baelde},
title = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/BardouFKL09,
author = {Romain Bardou and
Jean{-}Christophe Filli{\^{a}}tre and
Johannes Kanig and
St{\'{e}}phane Lescuyer},
editor = {Alan Schmitt},
title = {Faire bonne figure avec Mlpost},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {477--507},
year = {2009},
timestamp = {Sat, 19 Sep 2009 22:08:04 +0200},
biburl = {https://dblp.org/rec/conf/jfla/BardouFKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Glondu09,
author = {St{\'{e}}phane Glondu},
editor = {Alan Schmitt},
title = {Extraction certifi{\'{e}}e dans Coq-en-Coq},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {383--410},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/Glondu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Guesdon09,
author = {Maxence Guesdon},
editor = {Alan Schmitt},
title = {Fouille au code OCaml par analyse de d{\'{e}}pendances},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {445--476},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/Guesdon09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Maingaud09,
author = {S{\'{e}}verine Maingaud},
editor = {Alan Schmitt},
title = {Un mod{\`{e}}le de l'assistant {\`{a}} la preuve: PAF!},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {351--382},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/Maingaud09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/MandelP09,
author = {Louis Mandel and
Florence Plateau},
editor = {Alan Schmitt},
title = {Abstraction d'horloges dans les syst{\`{e}}mes synchrones flot de
donn{\'{e}}es},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {411--444},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/MandelP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/ParigotS09,
author = {Didier Parigot and
Bernard P. Serpette},
editor = {Alan Schmitt},
title = {Qui s{\`{e}}me la fonction, r{\'{e}}colte le tuyau typ{\'{e}}},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {225--244},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/ParigotS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/RusuC09,
author = {Vlad Rusu and
Manuel Clavel},
editor = {Alan Schmitt},
title = {V{\'{e}}rification d'invariants pour des syst{\`{e}}mes sp{\'{e}}cifi{\'{e}}s
en logique de r{\'{e}}{\'{e}}criture},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {317--350},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/RusuC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Saiu09,
author = {Luca Saiu},
editor = {Alan Schmitt},
title = {Vers une programmation fonctionnelle en appel par valeur sur syst{\`{e}}mes
multi-coeurs : {\'{e}}valuation asynchrone et ramasse-miettes
parall{\`{e}}le},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {281--316},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/Saiu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Signoles09,
author = {Julien Signoles},
editor = {Alan Schmitt},
title = {Foncteurs imp{\'{e}}ratifs et compos{\'{e}}s: la notion
de projets dans Frama-C},
booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
pages = {245--280},
year = {2009},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/Signoles09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfla/2009,
editor = {Alan Schmitt},
title = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
31 - February 3, 2009. Proceedings},
series = {Studia Informatica Universalis},
volume = {7.2},
year = {2009},
isbn = {978-2-7056-6917-1},
timestamp = {Sat, 19 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/AmeurBPW03,
author = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
S. Pairault and
Virginie Wiels},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Analyse de robustesse de syst{\`{e}}mes avioniques},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {111--124},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 14:52:54 +0100},
biburl = {https://dblp.org/rec/conf/jfla/AmeurBPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/BaroM03,
author = {Sylvain Baro and
Pierre Manoury},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Un syst{\`{e}}me {X} Raisonner formellement sur les programmes {ML}},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {49--62},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/BaroM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/BosserA03,
author = {Anne{-}Gwenn Bosser and
Francisco Alberti},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {L'exp{\'{e}}rience SCOL, un langage pour des applications internet
multi-utilisateurs},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {125--138},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/BosserA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/BoulifaM03,
author = {Rab{\'{e}}a Boulifa and
Mohamed Mezghiche},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Another Implementation Technique for Functional Programming Languages},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {37--48},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/BoulifaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Chilles03,
author = {Alain Chill{\`{e}}s},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Du fonctionnel en pr{\'{e}}pa},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {93--94},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Chilles03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/CohenMG03,
author = {Julien Cohen and
Olivier Michel and
Jean{-}Louis Giavitto},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Filtrage et r{\`{e}}gles de r{\'{e}}{\'{e}}criture sur des
structures index{\'{e}}es par des groupes},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {77--92},
publisher = {{INRIA}},
year = {2003},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfla/CohenMG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/DuboisGJ03,
author = {Catherine Dubois and
J. Grandguillot and
Mathieu Jaume},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {R{\'{e}}utilisation de preuves formelles : une {\'{e}}tude
pour le syst{\`{e}}me FoC},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {63--75},
publisher = {{INRIA}},
year = {2003},
timestamp = {Tue, 24 Mar 2009 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/DuboisGJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Eber03,
author = {Jean{-}Marc Eber},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {OCaml dans l'industrie financi{\`{e}}re: exp{\'{e}}rience industrielle
d'une utilisation intensive et strat{\'{e}}gique du langage OCaml
dans un projet novateur},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {1--2},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Eber03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/FalcouS03,
author = {Joel Falcou and
Jocelyn S{\'{e}}rot},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {CamlG4 : une biblioth{\`{e}}que de calcul parall{\`{e}}le pour Objective
Caml},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {139--152},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/FalcouS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/GavaL03,
author = {Fr{\'{e}}d{\'{e}}ric Gava and
Fr{\'{e}}d{\'{e}}ric Loulergue},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Synth{\`{e}}se de types pour Bulk Synchronous Parallel {ML}},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {153--168},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/GavaL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/HenrioS03,
author = {Ludovic Henrio and
Bernard P. Serpette},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {A Parametrized Polyvariant Bytecode Verifier},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {95--110},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/HenrioS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Maranget03,
author = {Luc Maranget},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Les avertissements du filtrage},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {3--20},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Maranget03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/Signoles03,
author = {Julien Signoles},
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Calcul statique des applications de modules param{\'{e}}tr{\'{e}}s},
booktitle = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
pages = {21--36},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/Signoles03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfla/2003,
editor = {Jean{-}Christophe Filli{\^{a}}tre},
title = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'03),
Chamrousse, France, Janvier 2003},
series = {Collection Didactique},
publisher = {{INRIA}},
year = {2003},
timestamp = {Wed, 08 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
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.
retrieved on 2024-11-19 13:21 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
