- Gérard Huet,
Christine Paulin-Mohring,
Bruno Barras, Jean-Christophe
Filliâtre, Hugo Herbelin,
Chetan Murthy, Yves Bertot, and
Pierre Castéran with the...
- that
never needs to block. In 2007,
Sylvain Conchon and Jean-Christophe
Filliâtre developed a semi-persistent
version of the disjoint-set
forest data structure...
-
development team (Thierry Coquand, Gérard Huet,
Bruno Barras, Jean-Christophe
Filliâtre, Hugo Herbelin,
Chetan Murthy, Yves
Bertot and
Pierre Castéran) won the...
- sets and maps over
integers (module ptmap) in OCaml, by Jean-Christophe
Filliâtre Radix DB (Patricia trie)
implementation in C, by G. B.
Versiani Libart...
- IBM 7090 (London) 39
minutes 20,000
February 1966 Jean
Guilloud and J.
Filliatre IBM 7030 (Paris) 41.92
hours 250,000 1967 Jean
Guilloud and M. Dichampt...
-
Pierre Huet,
Christine Paulin-Mohring,
Bruno Barras, Jean-Christophe
Filliâtre, Hugo Herbelin,
Chetan Murthy, Yves
Bertot and
Pierre Castéran 2012 LLVM...
- Stella, L.; Gilmozzi, R.; Antonelli, L. A.; Campana, S.; Chen, H.-W.;
Filliatre, P.; Fiore, F.; Fugazza, D.; Gehrels, N.; Hurley, K.; Mirabel, I. F.;...
- Allen, John (1978).
Anatomy of Lisp.
McGraw Hill. ISBN 0-07-001115-X.
Filliâtre, Jean-Christophe; Conchon,
Sylvain (2006). "Type-Safe
Modular Hash-Consing"...
- GitHub. "AtelierB.eu". Mentré, David,
Claude Marché, Jean-Christophe
Filliâtre, and
Masashi A****. "Discharging
proof obligations from
Atelier B using...
-
Radiation Dosimetry. 2019-12-14.
Retrieved 2020-11-27. Verma, V.; Barbot, L.;
Filliatre, P.; ****esen, C.; Jammes, C.; Svärd, S.
Jacobsson (2017-07-11). "Self...
