| |
| * | 2008 | |
|---|---|---|
| 5 | EE | Yann Régis-Gianas, François Pottier: A Hoare Logic for Call-by-Value Functional Programs. MPC 2008: 305-335 |
| 2006 | ||
| 4 | EE | François Pottier, Yann Régis-Gianas: Stratified type inference for generalized algebraic data types. POPL 2006: 232-244 |
| 3 | EE | François Pottier, Yann Régis-Gianas: Towards Efficient, Typed LR Parsers. Electr. Notes Theor. Comput. Sci. 148(2): 155-180 (2006) |
| 2004 | ||
| 2 | EE | Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch: Introducing VAUCANSON. Theor. Comput. Sci. 328(1-2): 77-96 (2004) |
| 2003 | ||
| 1 | EE | Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch: Introducing VAUCANSON. CIAA 2003: 96-107 |
| 1 | Sylvain Lombardy | [1] [2] |
| 2 | Raphaël Poss | [1] |
| 3 | François Pottier | [3] [4] [5] |
| 4 | Jacques Sakarovitch | [1] [2] |