Itérer avec con ance

Jean Christophe Filliâtre; Mário Pereira

Itérer avec con ance

Translated title of the contribution: Iterate with confidence

Jean Christophe Filliâtre
, Mário Pereira

INRIA Saclay, Laboratoire de Recherche en Informatique (LRI), Université Paris Sud
INRIA

Research output: Contribution to conference › Paper › peer-review

1 Citation (Scopus)

Translated title of the contribution	Iterate with confidence
Original language	French
Pages	1-15
Number of pages	15
Publication status	Published - 1 Jan 2016
Externally published	Yes
Event	27es Journees Francophones des Langages Applicatifs, JFLA 2016 - 27th French-Speaking Conference on Applicative Languages, JFLA 2016 - Saint-Malo, France Duration: 27 Jan 2016 → 30 Jan 2016

Conference

Conference	27es Journees Francophones des Langages Applicatifs, JFLA 2016 - 27th French-Speaking Conference on Applicative Languages, JFLA 2016
Country/Territory	France
City	Saint-Malo
Period	27/01/16 → 30/01/16

Cite this

@conference{4417fffd7bc3404fbf6d82ebdcb70b8e,

title = "It{\'e}rer avec con ance",

author = "Filli{\^a}tre, \{Jean Christophe\} and M{\'a}rio Pereira",

year = "2016",

month = jan,

day = "1",

language = "Fran{\c c}ais",

pages = "1--15",

note = "27es Journees Francophones des Langages Applicatifs, JFLA 2016 - 27th French-Speaking Conference on Applicative Languages, JFLA 2016 ; Conference date: 27-01-2016 Through 30-01-2016",

}