| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Apprendre à programmer avec Ocaml: Algorithmes et structures de données | 978-2-212-13678-4 (2-212-13678-1) | 2014 | Sylvain Conchon |
| Informatique pour tous en classes préparatoires aux grandes écoles: Manuel d'algorithmique et programmation structurée avec Python, Nouveaux programmes 2013, Voies MP, PC, PSI, PT, TPC et TSI | 978-2-212-13700-2 (2-212-13700-1) | 2013 | Benjamin Wack · Sylvain Conchon · Judicaël Courant · Marc de Falco · Gilles Dowek · Stéphane Gonnord |
| Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers | 978-3-540-31428-8 (3-540-31428-8) | 2008 | Jean-Christophe Filliatre · Christine Paulin-Mohring · Benjamin Werner |
C.F. · J C · J. F. · Jean-Christophe · Jean F.