| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau: Packaging Mathematical Structures. TPHOLs 2009: 327-342 |
| 2007 | ||
| 3 | | François Garillot, Benjamin Werner: Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs 2007: 368-382 |
| 2006 | ||
| 2 | | 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] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page