| |
| * | 2009 | |
|---|---|---|
| 4 | EE | François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau: Packaging Mathematical Structures. TPHOLs 2009: 327-342 |
| 2007 | ||
| 3 | EE | François Garillot, Benjamin Werner: Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs 2007: 368-382 |
| 2006 | ||
| 2 | EE | Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23 |
| 1 | Vladimir Gapeyev, François Garillot, Benjamin C. Pierce: Statically Typed Document Transformation: An Xtatic Experience. PLAN-X 2006: 2-13 | |
| 1 | Vincent Cremet | [2] |
| 2 | Vladimir Gapeyev | [1] |
| 3 | Georges Gonthier | [4] |
| 4 | Sergueï Lenglet | [2] |
| 5 | Assia Mahboubi | [4] |
| 6 | Martin Odersky | [2] |
| 7 | Benjamin C. Pierce | [1] |
| 8 | Laurence Rideau | [4] |
| 9 | Benjamin Werner | [3] |